monoid_lemmas): add `antitone`, `monotone_on`, and `antitone_on` lemmas (#15267)

Commit

3 years ago

feat(algebra/order/monoid_lemmas): add `antitone`, `monotone_on`, and `antitone_on` lemmas (#15267)

Author

urkud

Parents