Theorem Matroid.IsBase.eRk_eq_eRank

Modification history