Theorem Monoid.minOrder_eq_top_iff

Modification history

2025-07-27 09:45
Mathlib/GroupTheory/Order/Min.lean
chore: replace `Monoid.IsTorsionFree` with `IsMulTorsionFree` (#24311) …
Added Monoid.minOrder_eq_top_iffView on Github →