Theorem Matrix.rank_submatrix

Modification history