---

Step * of Lemma factors_wf

∀[n:ℕ+]. (factors(n) ∈ bag(Prime))
BY
{ xxxProveWfLemmaxxx }

---

Latex:

---

Latex:
\mforall{}[n:\mBbbN{}\msupplus{}].  (factors(n)  \mmember{}  bag(Prime))


By

---

Latex:
xxxProveWfLemmaxxx

---

Home Index