Theorem Set.infinite_iff_frequently_cofinite

Modification history