---

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