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