Theorem Matrix.lift_cRank_submatrix

Modification history