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