Theorem Subgroup.exists_zpowers_eq_of_zpowers_eq_top

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 Subgroup.exists_zpowers_eq_of_zpowers_eq_topView on Github →