Theorem Set.surjOn_image

Modification history