Theorem Matrix.eRank_submatrix

Modification history