Theorem Matroid.rankInfinite_iff_eRank_eq_top

Modification history