Theorem Function.LeftInvOn_invFunOn_of_subset_image_image

Modification history