Theorem Matroid.Base.ncard_diff_comm

Modification history