Theorem DihedralGroup.isCyclic_iff

Modification history

2025-01-20 17:23
Mathlib/GroupTheory/SpecificGroups/Cyclic.lean
feat(GroupTheory/SpecificGroups): dihedral groups are not cyclic (with one exception) (#20817)
Added DihedralGroup.isCyclic_iffView on Github →