Nuprl Definition : l_tree_node-left_subtree

l_tree_node-left_subtree(v) ==  fst(snd(snd(v)))



Definitions occuring in Statement :  pi1: fst(t) pi2: snd(t)
FDL editor aliases :  l_tree_node-left_subtree
l\_tree\_node-left\_subtree(v)  ==    fst(snd(snd(v)))



Date html generated: 2015_07_17-AM-07_41_35
Last ObjectModification: 2014_05_05-PM-02_29_01

Home Index