---

Step * of Lemma poly-zero-val

∀[p:tree(ℤ)]. ∀[l:Top]. (p@l = 0 ∈ ℤ) supposing ↑poly-zero(p)
BY
{ Auto }

1
1. p : tree(ℤ)
2. ↑poly-zero(p)
3. l : Top
⊢ p@l = 0 ∈ ℤ

---

Latex:

---

Latex:
\mforall{}[p:tree(\mBbbZ{})].  \mforall{}[l:Top].  (p@l  =  0)  supposing  \muparrow{}poly-zero(p)


By

---

Latex:
Auto

---

Home Index