Theorem Matroid.Base.exchange

Modification history