---

Step * of Lemma negate-poly-constraints_wf

∀[Xs:polynomial-constraints() List]. (negate-poly-constraints(Xs) ∈ polynomial-constraints() List)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[Xs:polynomial-constraints()  List].  (negate-poly-constraints(Xs)  \mmember{}  polynomial-constraints()  List)


By

---

Latex:
ProveWfLemma

---

Home Index