Theorem strict_mono.mul_const'
Modification history
2022-07-16 11:29
src/algebra/order/monoid_lemmas.lean
feat(algebra/order/monoid_lemmas): add `antitone`, `monotone_on`, and `antitone_on` lemmas (#15267)
Modified strict_mono.mul_const'View on Github →2021-06-15 06:03
src/algebra/ordered_monoid.lean
chore(algebra/{ordered_monoid_lemmas, ordered_monoid}): move two sections close together (#7921) …
Modified strict_mono.mul_const'View on Github →