Theorem Set.surjective_mapsTo_image_restrict

Modification history