Talk:Equivalence of Definitions of Injection/Definition 1 iff Definition 4

The proposed merge might be better as a corollary. --prime mover (talk) 18:09, 13 November 2012 (UTC)