Theorem Set.SurjOn.rightInvOn_invFunOn

Modification history