Theorem Matroid.Indep.isRkFinite_iff_finite

Modification history