Theorem Matrix.PosSemidef.sqrt_mul_self

Modification history