Theorem Matroid.Basis'.eq_of_subset_indep

Modification history