Theorem Function.RightInverse.left_inverse_of_surjective

Modification history