Theorem monotone.mul_strict_mono'
Modification history
2021-10-01 13:24
src/algebra/order/monoid_lemmas.lean
feat(order/basic): Antitone functions (#9119) …
Modified monotone.mul_strict_mono'View on Github →2021-06-23 09:25
src/algebra/ordered_monoid_lemmas.lean
feat(algebra/ordered_monoid_lemmas + fixes): consistent use of `covariant` and `contravariant` in `ordered_monoid_lemmas` (#7876) …
Modified monotone.mul_strict_mono'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 monotone.mul_strict_mono'View on Github →