Theorem Matroid.IsRkFinite.finite_of_indep_subset

Modification history