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