Theorem Matroid.IsBasis'.eRk_eq_eRk_insert

Modification history