Theorem Matroid.finite_or_rankInfinite

Modification history