Theorem Matroid.IsBasis.eRk_eq_encard

Modification history