Theorem IsCyclic.subgroup_le_iff_card_dvd

Modification history

2026-09-09 11:47
Mathlib/GroupTheory/SpecificGroups/Cyclic.lean
feat(GroupTheory/SpecificGroups/Cyclic): comparison of subgroups of a cyclic group (#40597) …
Added IsCyclic.subgroup_le_iff_card_dvdView on Github →