Theorem Function.LeftInverse.surjective

Modification history