Theorem Matrix.PosSemidef.eq_sqrt_iff_sq_eq

Modification history