Theorem IsCyclic.subgroup_eq_iff_card_eq

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_eq_iff_card_eqView on Github →