Theorem Set.finite_image_iff

Modification history