Theorem Matroid.Basis.isRkFinite_of_finite

Modification history