Talk:Law of Identity

Why is the heading "definition"? Is it a theorem, or something else? --GFauxPas 17:49, 11 July 2012 (UTC)
 * Good call. It's a theorem. --prime mover 20:02, 11 July 2012 (UTC)