Theorem Set.image_uncurry_prod

Modification history