Theorem Matroid.Base.encard_diff_comm

Modification history