Theorem Matrix.PosSemidef.isUnit_sqrt_iff

Modification history