Theorem Set.InjOn.mem_of_mem_image

Modification history