Theorem Matroid.isRkFinite_inter_ground_iff

Modification history