∫ Утверждение Mathlib
quaternionGroupZeroEquivDihedralGroupZero
Mathlib.GroupTheory.SpecificGroups.Quaternion
URI: https://scilib.ai/kg/mathlib#QuaternionGroup.quaternionGroupZeroEquivDihedralGroupZero
∫ Утверждение Mathlib
Mathlib.GroupTheory.SpecificGroups.Quaternion
URI: https://scilib.ai/kg/mathlib#QuaternionGroup.quaternionGroupZeroEquivDihedralGroupZero