Nuprl Definition : bst_leaf-value
bst_leaf-value(v) == snd(v)
Definitions occuring in Statement :
pi2: snd(t)
Definitions occuring in definition :
pi2: snd(t)
FDL editor aliases :
bst_leaf-value
Latex:
bst\_leaf-value(v) == snd(v)
Date html generated:
2016_05_15-PM-01_50_36
Last ObjectModification:
2016_04_07-PM-02_25_34
Theory : tree_1
Home
Index