mathlib
5c062ff9 - feat(algebra/order/monoid): add `one_lt_mul_iff`/`add_pos_iff` (#15458)

Commit

3 years ago

feat(algebra/order/monoid): add `one_lt_mul_iff`/`add_pos_iff` (#15458)

Author

urkud

urkud

Parents

Loading