Nuprl Definition : nat-deq

NatDeq ==  λa,b. (a =z b)



Definitions occuring in Statement :  eq_int: (i =z j) lambda: λx.A[x]
Definitions occuring in definition :  lambda: λx.A[x] eq_int: (i =z j)
FDL editor aliases :  nat-deq

Latex:
NatDeq  ==    \mlambda{}a,b.  (a  =\msubz{}  b)



Date html generated: 2016_05_14-AM-06_06_59
Last ObjectModification: 2015_09_22-PM-05_48_12

Theory : equality!deciders


Home Index