Nuprl Definition : tagged-tag
x.tag == fst(x)
Definitions occuring in Statement :
pi1: fst(t)
Definitions occuring in definition :
pi1: fst(t)
FDL editor aliases :
tagged-tag
Latex:
x.tag == fst(x)
Date html generated:
2016_05_15-PM-06_46_57
Last ObjectModification:
2015_09_23-AM-08_06_04
Theory : general
Home
Index