---

Step * of Lemma q-sat-constraints_wf

∀[k:ℕ]. ∀[A:(ℚ List × ℤ × (ℚ List)) List]. ∀[y:ℚ List].  (q-sat-constraints(k;A;y) ∈ ℙ)
BY
{ xxxProveWfLemmaxxx }

---

Latex:

---

Latex:
\mforall{}[k:\mBbbN{}].  \mforall{}[A:(\mBbbQ{}  List  \mtimes{}  \mBbbZ{}  \mtimes{}  (\mBbbQ{}  List))  List].  \mforall{}[y:\mBbbQ{}  List].    (q-sat-constraints(k;A;y)  \mmember{}  \mBbbP{})


By

---

Latex:
xxxProveWfLemmaxxx

---

Home Index