Mathlib Changelog
v4
Changelog
About
Github
Theorem
DihedralGroup.not_isCyclic
Modification history
2025-02-17 16:56
Mathlib/GroupTheory/SpecificGroups/Cyclic.lean
refactor(GroupTheory/SpecificGroups/Cyclic,Dihedral): Reverse import (#20923) …
Modified
DihedralGroup.not_isCyclic
View on Github →
2025-01-20 17:23
Mathlib/GroupTheory/SpecificGroups/Cyclic.lean
feat(GroupTheory/SpecificGroups): dihedral groups are not cyclic (with one exception) (#20817)
Added
DihedralGroup.not_isCyclic
View on Github →