ordered_monoid` (#7999)

Commit

4 years ago

refactor(algebra/ordered_monoid): use `covariant + contravariant` typeclasses in `algebra/ordered_monoid` (#7999) Another stepping stone toward #7645.

Author

adomani

Parents

56535164

mathlib 2f27046f - refactor(algebra/ordered_monoid): use `covariant + contravariant` typeclasses in `algebra/ordered_monoid` (#7999)

mathlib
2f27046f - refactor(algebra/ordered_monoid): use `covariant + contravariant` typeclasses in `algebra/ordered_monoid` (#7999)