Theorem Matroid.IsBasis.eRk_eq_eRk

Modification history