∫ Утверждение Mathlib
ofQuaternion_toQuaternion
Mathlib.LinearAlgebra.CliffordAlgebra.Equivs
URI: https://scilib.ai/kg/mathlib#CliffordAlgebraQuaternion.ofQuaternion_toQuaternion
∫ Утверждение Mathlib
Mathlib.LinearAlgebra.CliffordAlgebra.Equivs
URI: https://scilib.ai/kg/mathlib#CliffordAlgebraQuaternion.ofQuaternion_toQuaternion