Theorem Matroid.IsBasis'.eRk_eq_encard

Modification history