Nuprl Definition : lg-out-edges

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


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


Date html generated: 2015_07_22-PM-00_28_43
Last ObjectModification: 2012_02_25-PM-03_34_36

Home Index