Theorem Matrix.cRank_toNat_eq_rank

Modification history