Theorem Function.monotoneOn_of_rightInvOn_of_mapsTo

Modification history