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