On 05/17/2014 09:29 PM, Timon Gehr wrote:
Typo: int_leibiz_equality :o). -- AndreiIf that is everything, then I am in good shape! :o)
It could be argued though, that this axiom was not too aptly named in the first place, because it describes the indiscernibility of identicals instead of the identity of indiscernibles.
