---

Step * of Lemma polyconst_wf

∀[k,n:ℤ].  (polyconst(k) ∈ polynom(n))
BY
{ (Unfold `polynom` 0 THEN ProveWfLemma) }

---

Latex:

---

Latex:
\mforall{}[k,n:\mBbbZ{}].    (polyconst(k)  \mmember{}  polynom(n))


By

---

Latex:
(Unfold  `polynom`  0  THEN  ProveWfLemma)

---

Home Index