∫ Утверждение Mathlib
re_exp
Mathlib.Analysis.Normed.Algebra.QuaternionExponential
URI: https://scilib.ai/kg/mathlib#Quaternion.re_exp
∫ Утверждение Mathlib
Mathlib.Analysis.Normed.Algebra.QuaternionExponential
URI: https://scilib.ai/kg/mathlib#Quaternion.re_exp