Theorem Monoid.le_minOrder

Modification history

2023-11-15 15:04
Mathlib/GroupTheory/Order/Min.lean
feat: Minimum torsion of a group (#8411) …
Added Monoid.le_minOrderView on Github →