Theorem Matrix.cRank_toNat_eq_finrank

Modification history