∫ Утверждение Mathlib
eq_sqrt_iff_sq_eq
Mathlib.Analysis.Matrix.Order
URI: https://scilib.ai/kg/mathlib#Matrix.PosSemidef.eq_sqrt_iff_sq_eq
∫ Утверждение Mathlib
Mathlib.Analysis.Matrix.Order
URI: https://scilib.ai/kg/mathlib#Matrix.PosSemidef.eq_sqrt_iff_sq_eq