Theorem Matroid.IsRkFinite.rankFinite

Modification history