Theorem DihedralGroup.not_commutative

Modification history

2025-01-20 17:23

Mathlib/GroupTheory/SpecificGroups/Dihedral.lean

feat(GroupTheory/SpecificGroups): dihedral groups are not cyclic (with one exception) (#20817)

Added DihedralGroup.not_commutative View on Github →