Theorem Matrix.row_submatrix

Modification history