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