Theorem Set.Finite.eventually_cofinite_nmem

Modification history