Nuprl Definition : polyconst
polyconst(k) == tree_leaf(k)
Wellformedness Lemmas :
polyconst_wf2,
polyconst_wf
Definitions occuring in Statement :
tree_leaf: tree_leaf(value)
Definitions occuring in definition :
tree_leaf: tree_leaf(value)
FDL editor aliases :
polyconst
Latex:
polyconst(k) == tree\_leaf(k)
Date html generated:
2017_10_01-AM-08_32_21
Last ObjectModification:
2017_05_02-AM-10_45_01
Theory : integer!polynomial!trees
Home
Index