Theorem Matroid.IsRkFinite.finite_of_basis

Modification history