Theorem Matroid.Indep.subset_finite_basis'_of_subset_of_isRkFinite

Modification history