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