Theorem Matrix.submatrix_one_equiv

Modification history