Theorem Function.invFunOn_image_image_subset

Modification history