Theorem Matroid.isRkFinite_iff_cRk_lt_aleph0

Modification history