Theorem Matrix.submatrix_empty

Modification history