mathlib
6e362f68 - chore(algebra/order/monoid): golf proofs, fix docs (#14728)

Commit

3 years ago

chore(algebra/order/monoid): golf proofs, fix docs (#14728)

Author

urkud

urkud

Parents

Loading