Theorem Function.right_inverse_iff_comp

Modification history