Theorem Matrix.eRank_toNat_eq_finrank

Modification history