Theorem Set.infinite_iff_exists_lt

Modification history