Theorem Set.exists_mem_image2

Modification history