Theorem Matroid.IsBasis.eRk_eq_eRk_union

Modification history