Theorem Function.RightInverse.LeftInverse

Modification history