Theorem Matroid.IsBasis.eRk_eq_eRk_insert

Modification history