Theorem IsOrderedCancelMonoid.toMulRightReflectLT

Modification history

2025-04-03 14:46
Mathlib/Algebra/Order/Monoid/Defs.lean
feat: mixin ordered algebraic typeclasses (#20593)
Added IsOrderedCancelMonoid.toMulRightReflectLTView on Github →