Theorem strictMono_iff_map_pos

Modification history

2024-07-31 23:15
Mathlib/Algebra/Order/Hom/Monoid.lean
chore: backports for leanprover/lean4#4814 (part 6) (#15313) …
Modified strictMono_iff_map_posView on Github →
2024-07-25 10:38
Mathlib/Algebra/Order/Hom/Monoid.lean
chore: robustifying for debug.byAsSorry (part 3) (#15120) …
Modified strictMono_iff_map_posView on Github →
2022-12-17 23:54
Mathlib/Algebra/Order/Hom/Monoid.lean
chore: tidy various files (#1086)
Added strictMono_iff_map_posView on Github →