Theorem Matroid.indep_iff_not_dep

Modification history