Theorem MulLECancellable.mul

Modification history

2024-10-01 20:15
Mathlib/Algebra/Order/Monoid/Unbundled/Basic.lean
feat(ENNReal): Convenience lemmas (#17277) …
Added MulLECancellable.mulView on Github →