Theorem Matrix.PosSemidef.submatrix

Modification history