Talk:Cardinality of Image of Injection

This is a trivial corollary of Injection to Image is Bijection, it could be added as a corollary to that page. The induction proof for the finite case seems like overkill considering this. --TheoLaLeo (talk) 06:48, 24 November 2021 (UTC)

If you want to add a second proof then do so. But do not add it as a corollary of that page. It is better for a page to be descriptive of its contents. A moment's reflection will tell you why. --prime mover (talk) 06:59, 24 November 2021 (UTC)