Theorem Matroid.Base.finite

Modification history