∫ Утверждение Mathlib
sr_mul_self
Mathlib.GroupTheory.SpecificGroups.Dihedral
URI: https://scilib.ai/kg/mathlib#DihedralGroup.sr_mul_self
∫ Утверждение Mathlib
Mathlib.GroupTheory.SpecificGroups.Dihedral
URI: https://scilib.ai/kg/mathlib#DihedralGroup.sr_mul_self