Theorem Matroid.Indep.eRk_eq_encard

Modification history