---

Step * of Lemma factorization_wf

∀n:{2...}. (factorization(n) ∈ {factors:{m:{2...}| prime(m)}  List| n = Π(factors)  ∈ ℤ} )
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}n:\{2...\}.  (factorization(n)  \mmember{}  \{factors:\{m:\{2...\}|  prime(m)\}    List|  n  =  \mPi{}(factors)  \}  )


By

---

Latex:
ProveWfLemma

---

Home Index