Theorem Subgroup.index_eq_card_div

Modification history

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