Theorem Set.BijOn.invOn_invFunOn

Modification history