Theorem Matrix.PosSemidef.sqrt_eq_one_iff

Modification history