Theorem Matrix.PosSemidef.sqrt_sq

Modification history