---

Step * of Lemma satisfies-integer-problem_wf

∀[eqs,ineqs:ℤ List List]. ∀[xs:ℤ List].  (satisfies-integer-problem(eqs;ineqs;xs) ∈ ℙ)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[eqs,ineqs:\mBbbZ{}  List  List].  \mforall{}[xs:\mBbbZ{}  List].    (satisfies-integer-problem(eqs;ineqs;xs)  \mmember{}  \mBbbP{})


By

---

Latex:
ProveWfLemma

---

Home Index