Theorem Matrix.lift_cRank_reindex

Modification history