Nuprl Definition : mkid
"$x" == '$x'2
Definitions occuring in Statement :
token: '$x'2
Definitions occuring in definition :
token: '$x'2
FDL editor aliases :
mkid
Latex:
"\$x" == '\$x'2
Date html generated:
2016_05_14-PM-03_36_58
Last ObjectModification:
2015_09_22-PM-06_01_31
Theory : decidable!equality
Home
Index