Theorem Matroid.IsRkFinite.diff_singleton_iff

Modification history