---

Step * of Lemma satisfies-integer-equality_wf

∀[xs,as:ℤ List].  (xs ⋅ as =0 ∈ ℙ)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[xs,as:\mBbbZ{}  List].    (xs  \mcdot{}  as  =0  \mmember{}  \mBbbP{})


By

---

Latex:
ProveWfLemma

---

Home Index