Nuprl Definition : token2 def
'$x'2 == PRIMITIVE
Rules referencing
:
token2Equality
Latex:
'\$x'2 == PRIMITIVE
Date html generated: 2016_05_13-PM-03_21_06
Last ObjectModification: 2013_05_31-PM-02_44_16
Theory :
atom_1
Home
Index