Theorem DihedralGroup.r_pow

Modification history

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