Theorem Matroid.IsRkFinite.closure

Modification history