feat: Prove r_zpow (#22263) Prove formulas for (r i)^k in a dihedral group, as requested here
(r i)^k