Theorem Matroid.Base.finite_of_finite

Modification history