Theorem Matroid.IsRkFinite.eRk_lt_top

Modification history