Theorem Function.LeftInverse_surj_inv

Modification history