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