Theorem Matroid.IsBasis.encard_eq_eRk

Modification history