Theorem Matroid.Indep.encard_le_eRk_of_subset

Modification history