Theorem Set.SurjOn.mapsTo_invFunOn

Modification history