Theorem Function.LeftInverse.rightInvOn_range

Modification history