---

Step * of Lemma assert-poly-zero

∀n:ℕ. ∀p:polynom(n).  (↑poly-zero(n;p) ⇐⇒ ∀l:{l:ℤ List| ||l|| = n ∈ ℤ} . (l@p = 0 ∈ ℤ))
BY
{ RepeatFor 2 ((D 0 THENA Auto)) }

1
1. n : ℕ
2. p : polynom(n)
⊢ ↑poly-zero(n;p) ⇐⇒ ∀l:{l:ℤ List| ||l|| = n ∈ ℤ} . (l@p = 0 ∈ ℤ)

---

Latex:

---

Latex:
\mforall{}n:\mBbbN{}.  \mforall{}p:polynom(n).    (\muparrow{}poly-zero(n;p)  \mLeftarrow{}{}\mRightarrow{}  \mforall{}l:\{l:\mBbbZ{}  List|  ||l||  =  n\}  .  (l@p  =  0))


By

---

Latex:
RepeatFor  2  ((D  0  THENA  Auto))

---

Home Index