Theorem Function.RightInverse_iff_comp

Modification history