Theorem Matrix.rank_submatrix_le

Modification history