Nuprl Definition : tagged-val
x.val == snd(x)
Definitions occuring in Statement :
pi2: snd(t)
Definitions occuring in definition :
pi2: snd(t)
FDL editor aliases :
tagged-val
Latex:
x.val == snd(x)
Date html generated:
2016_05_15-PM-06_47_35
Last ObjectModification:
2015_09_23-AM-08_06_16
Theory : general
Home
Index