---

Step * of Lemma q-constraints_wf

∀[A:(ℕ ⟶ ℚ × ℤ) List]. ∀[k:ℕ]. ∀[y:ℚ List].  (q-constraints(k;A;y) ∈ ℙ)
BY
{ xxx(Unfold `q-constraints` 0 THEN Auto)xxx }

---

Latex:

---

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


By

---

Latex:
xxx(Unfold  `q-constraints`  0  THEN  Auto)xxx

---

Home Index