Theorem Matroid.Indep.finite_of_subset_isRkFinite

Modification history