Nuprl Definition : id-deq

IdDeq ==  Atom2Deq


Definitions occuring in Statement :  atom2-deq: Atom2Deq
Definitions occuring in definition :  atom2-deq: Atom2Deq
FDL editor aliases :  id-deq
Latex:
IdDeq  ==    Atom2Deq


Date html generated: 2016_05_14-PM-03_37_04
Last ObjectModification: 2015_09_22-PM-06_01_34

Theory : decidable!equality


Home Index