---

Step * of Lemma polynomial-mon-vars_wf

∀[init:ℤ List List]. ∀[p:(Top × (ℤ List)) List].  (polynomial-mon-vars(init;p) ∈ ℤ List List)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[init:\mBbbZ{}  List  List].  \mforall{}[p:(Top  \mtimes{}  (\mBbbZ{}  List))  List].    (polynomial-mon-vars(init;p)  \mmember{}  \mBbbZ{}  List  List)


By

---

Latex:
ProveWfLemma

---

Home Index