Theorem Matrix.submatrix_neg

Modification history