∫ Утверждение Mathlib
inner_sum_right
Mathlib.Analysis.CStarAlgebra.Module.Defs
URI: https://scilib.ai/kg/mathlib#CStarModule.inner_sum_right
∫ Утверждение Mathlib
Mathlib.Analysis.CStarAlgebra.Module.Defs
URI: https://scilib.ai/kg/mathlib#CStarModule.inner_sum_right