Theorem Matrix.cRank_reindex

Modification history