Theorem Matroid.IsBase.encard_eq_eRank

Modification history