Theorem Function.RightInverse.rightInvOn

Modification history