Theorem Matroid.isRkFinite_ground_iff_rankFinite

Modification history