mathlib3
f82f5f2a - refactor(algebra): canonically_ordered_monoid extends order_bot

Commit

6 years ago

refactor(algebra): canonically_ordered_monoid extends order_bot

Author

johoelzl

johoelzl

Committer

johoelzl

johoelzl

Parents

Loading