Nuprl Definition : eq_atomn
eq_atom$n(x;y) == if x=$n y then tt else ff
Definitions occuring in Statement :
atom_eq: atomeqn def,
bfalse: ff,
btrue: tt
Definitions occuring in definition :
atom_eq: atomeqn def,
btrue: tt,
bfalse: ff
FDL editor aliases :
eq_atom*
Latex:
eq\_atom\$n(x;y) == if x=\$n y then tt else ff
Date html generated:
2016_05_13-PM-03_21_08
Last ObjectModification:
2016_01_04-AM-10_21_04
Theory : atom_1
Home
Index