Theorem DihedralGroup.r_zpow

Modification history

2025-10-23 00:20
Mathlib/GroupTheory/SpecificGroups/Dihedral.lean
style(misc): fix whitespace (#30691) …
Modified DihedralGroup.r_zpowView on Github →
2025-02-27 11:30
Mathlib/GroupTheory/SpecificGroups/Dihedral.lean
feat: Prove r_zpow (#22263) …
Added DihedralGroup.r_zpowView on Github →