Theorem Matroid.Base.diff_infinite_comm

Modification history