Theorem Matrix.submatrix_zero

Modification history