∫ Утверждение Mathlib
innerSL_real_flip
Mathlib.Analysis.InnerProductSpace.LinearMap
URI: https://scilib.ai/kg/mathlib#innerSL_real_flip
∫ Утверждение Mathlib
Mathlib.Analysis.InnerProductSpace.LinearMap
URI: https://scilib.ai/kg/mathlib#innerSL_real_flip