Talk:Dedekind Completion is Unique up to Isomorphism

I have introduced this theorem for most concepts in the cat thy realm (anything generated by a universal property) as "X is Unique" because it's so much shorter and the compromise on consistency between title and theorem is very small (IMHO). Just sayin'. --Lord_Farin (talk) 22:35, 8 January 2013 (UTC)