---

Step * of Lemma add-polynom-int-val-sq

∀[n:ℕ]. ∀[l:{l:ℤ List| ||l|| = n ∈ ℤ} ]. ∀[p,q:polyform(n)]. ∀[rmz:𝔹].  (l@add-polynom(n;rmz;p;q) ~ l@p + l@q)
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[n:\mBbbN{}].  \mforall{}[l:\{l:\mBbbZ{}  List|  ||l||  =  n\}  ].  \mforall{}[p,q:polyform(n)].  \mforall{}[rmz:\mBbbB{}].
    (l@add-polynom(n;rmz;p;q)  \msim{}  l@p  +  l@q)


By

---

Latex:
Auto

---

Home Index