∫ Утверждение Mathlib
equivTuple_apply
Mathlib.Algebra.Quaternion
URI: https://scilib.ai/kg/mathlib#QuaternionAlgebra.equivTuple_apply
∫ Утверждение Mathlib
Mathlib.Algebra.Quaternion
URI: https://scilib.ai/kg/mathlib#QuaternionAlgebra.equivTuple_apply