Theorem Matroid.Base.eq_of_subset_indep

Modification history