Theorem Function.LeftInverse.RightInverse

Modification history