Theorem min_mul

Modification history

2024-12-05 08:47
Mathlib/Algebra/Order/Monoid/Unbundled/Basic.lean
feat: add `mul_min` and `min_mul` (#18926)
Added min_mulView on Github →