Theorem Matrix.PosSemidef.sq_eq_sq_iff

Modification history