Theorem Matroid.IsRkFinite.exists_finite_basis'

Modification history