Theorem Matroid.rankFinite_or_rankInfinite

Modification history