Theorem Set.infinite_of_forall_exists_lt

Modification history