Theorem Matroid.Indep.subset_finite_basis_of_subset_of_isRkFinite

Modification history