Theorem Set.infinite_image_iff

Modification history