Theorem Matroid.IsBasis'.eRk_eq_eRk

Modification history