Theorem Matrix.eRank_toNat_eq_rank

Modification history