mathlib3
275dabfc - feat(order/atoms): is_atomic_of_order_bot_lt_well_founded (#13967)

Commit

3 years ago

feat(order/atoms): is_atomic_of_order_bot_lt_well_founded (#13967) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents