Theorem Matroid.Indep.encard_le_eRank

Modification history