Talk:Injection has Surjective Left Inverse Mapping

Bah. This exact proof, with a less complete theorem statement, is at Left Inverse Mapping is Surjection. The pages should obviously be merged, but neither has a very obvious title. I just realized the correct title is this: Injection has Surjective Left Inverse Mapping. --Dfeuer (talk) 16:30, 1 May 2013 (UTC)

And I just realized that Left Inverse Mapping is Surjection is a perfectly good title for the lemma to this one. --Dfeuer (talk) 16:33, 1 May 2013 (UTC)