∫ Утверждение Mathlib
isStarProjection_iff_isIdempotentElem_and_isStarNormal
Mathlib.Analysis.CStarAlgebra.Projection
URI: https://scilib.ai/kg/mathlib#isStarProjection_iff_isIdempotentElem_and_isStarNormal
∫ Утверждение Mathlib
Mathlib.Analysis.CStarAlgebra.Projection
URI: https://scilib.ai/kg/mathlib#isStarProjection_iff_isIdempotentElem_and_isStarNormal