Step * of Lemma poly-int-val_wf2

[n:ℕ]. ∀[l:{l:ℤ List| ||l|| n ∈ ℤ]. ∀[p:polynom(n)].  (p@l ∈ ℤ)
BY
Auto }


Latex:


Latex:
\mforall{}[n:\mBbbN{}].  \mforall{}[l:\{l:\mBbbZ{}  List|  ||l||  =  n\}  ].  \mforall{}[p:polynom(n)].    (p@l  \mmember{}  \mBbbZ{})


By


Latex:
Auto




Home Index