Theorem Matroid.eq_of_indep_iff_indep_forall

Modification history