Theorem Set.infinite_iff_exists_gt

Modification history