mathlib3
32beebbc - feat(algebra/order/monoid): add simp lemmas (#12030)

Commit

3 years ago

feat(algebra/order/monoid): add simp lemmas (#12030)

Author

mariainesdff

mariainesdff

Parents

Loading