---

Step * of Lemma linearization_wf

∀[p:iPolynomial()]. ∀[L:ℤ List List].  (linearization(p;L) ∈ {cs:ℤ List| ||cs|| = ||L|| ∈ ℤ} )
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[p:iPolynomial()].  \mforall{}[L:\mBbbZ{}  List  List].    (linearization(p;L)  \mmember{}  \{cs:\mBbbZ{}  List|  ||cs||  =  ||L||\}  )


By

---

Latex:
ProveWfLemma

---

Home Index