Nuprl Definition : lg-label
lg-label(g;x) == fst(g[x])
Definitions occuring in Statement :
select: L[n],
pi1: fst(t)
FDL editor aliases :
lg-label
Latex:
lg-label(g;x) == fst(g[x])
Date html generated:
2015_07_22-PM-00_29_14
Last ObjectModification:
2012_02_25-PM-03_35_10
Home
Index