Theorem Matroid.isRkFinite_iff_exists_basis'

Modification history