Theorem Function.LeftInverse.leftInvOn

Modification history