---

Step * of Lemma poly-coeff-of_wf

∀[vs:ℤ List]. ∀[p:iPolynomial()].  (poly-coeff-of(vs;p) ∈ ℤ)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[vs:\mBbbZ{}  List].  \mforall{}[p:iPolynomial()].    (poly-coeff-of(vs;p)  \mmember{}  \mBbbZ{})


By

---

Latex:
ProveWfLemma

---

Home Index