Theorem Function.RightInverse.comp

Modification history