Theorem Matrix.PosSemidef.sqrt_eq_iff_eq_sq

Modification history