Talk:Set is Equivalent to Image under Injection

Cardinality of Image of Injection only does the finite case, so no merge. --prime mover (talk) 06:46, 26 November 2017 (EST)

This can be included as a corollary of Injection to Image is Bijection. --TheoLaLeo (talk) 06:51, 24 November 2021 (UTC)

But it won't be. --prime mover (talk) 07:01, 24 November 2021 (UTC)