Theorem Monoid.le_minOrder_iff_forall_subgroup

Modification history

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