Theorem Set.infinite_of_infinite_image

Modification history