Theorem Matroid.IsRkFinite.exists_finset_basis'

Modification history