Theorem Matrix.col_submatrix_eq_comp

Modification history