Theorem Matroid.eq_iff_indep_iff_indep_forall

Modification history