Theorem Set.InjOn.invFunOn_image

Modification history