Talk:Empty Mapping is Unique

From ProofWiki
Jump to navigation Jump to search

I don't understand the "explain" comment. $T$ has been defined, it is a set. What extra clarification is needed? --prime mover (talk) 16:52, 17 November 2013 (UTC)

I think I was asking for the formulation of the result to reflect that there is a unique mapping $\varnothing \to T$ for every set $T$. — Lord_Farin (talk) 10:02, 18 November 2013 (UTC)
Oh yes okay, I'll address that. --prime mover (talk) 12:05, 18 November 2013 (UTC)