Nuprl Definition : lg-in-edges

lg-in-edges(g;x) ==  fst(snd(g[x]))


Definitions occuring in Statement :  select: L[n],  pi1: fst(t),  pi2: snd(t)
FDL editor aliases :  lg-in-edges
Latex:
lg-in-edges(g;x)  ==    fst(snd(g[x]))


Date html generated: 2015_07_22-PM-00_28_40
Last ObjectModification: 2012_02_25-PM-03_34_33

Home Index