Theorem Matroid.rankFinite_iff_eRank_ne_top

Modification history