Theorem Function.RightInverse_surj_inv

Modification history