∫ Утверждение Mathlib
_aux_Mathlib_Analysis_InnerProductSpace_Defs___macroRules_InnerProductSpace_term⟪_,_⟫___1
Mathlib.Analysis.InnerProductSpace.Defs
URI: https://scilib.ai/kg/mathlib#InnerProductSpace._aux_Mathlib_Analysis_InnerProductSpace_Defs___macroRules_InnerProductSpace_term⟪_,_⟫___1