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