Nuprl Definition : polynom
polynom(n) == {p:polyform(n)| (↑poly-int(p)) ⇒ (↑tree_leaf?(p))}
Wellformedness Lemmas :
polynom_wf
Definitions occuring in Statement :
polyform: polyform(n),
poly-int: poly-int(p),
tree_leaf?: tree_leaf?(v),
assert: ↑b,
implies: P ⇒ Q,
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
polyform: polyform(n),
implies: P ⇒ Q,
poly-int: poly-int(p),
assert: ↑b,
tree_leaf?: tree_leaf?(v)
FDL editor aliases :
polynom
polynom
Latex:
polynom(n) == \{p:polyform(n)| (\muparrow{}poly-int(p)) {}\mRightarrow{} (\muparrow{}tree\_leaf?(p))\}
Date html generated:
2017_10_01-AM-08_32_20
Last ObjectModification:
2017_05_02-PM-00_39_05
Theory : integer!polynomial!trees
Home
Index