Theorem Monoid.minOrder_le_orderOf

Modification history

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