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