Theorem Matrix.row_submatrix_eq_comp

Modification history