Theorem Set.exists_mem_of_nonempty

Modification history