Theorem Set.image_restrict

Modification history