---

Step * of Lemma ipolynomial-term_wf

∀[p:iMonomial() List]. (ipolynomial-term(p) ∈ int_term())
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[p:iMonomial()  List].  (ipolynomial-term(p)  \mmember{}  int\_term())


By

---

Latex:
ProveWfLemma

---

Home Index