Theorem Matroid.IsRkFinite.finite_of_basis'

Modification history