Nuprl Definition : poly-zero
poly-zero(p) == tree_leaf?(p) ∧b (tree_leaf-value(p) =z 0)
Wellformedness Lemmas :
poly-zero_wf
Definitions occuring in Statement :
tree_leaf-value: tree_leaf-value(v),
tree_leaf?: tree_leaf?(v),
band: p ∧b q,
eq_int: (i =z j),
natural_number: $n
Definitions occuring in definition :
band: p ∧b q,
tree_leaf?: tree_leaf?(v),
eq_int: (i =z j),
tree_leaf-value: tree_leaf-value(v),
natural_number: $n
FDL editor aliases :
poly-zero
Latex:
poly-zero(p) == tree\_leaf?(p) \mwedge{}\msubb{} (tree\_leaf-value(p) =\msubz{} 0)
Date html generated:
2017_10_01-AM-08_32_08
Last ObjectModification:
2017_05_02-PM-01_43_53
Theory : integer!polynomial!trees
Home
Index