Theorem mem_image_univ_iff_mem_range

Modification history