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