---

Step * of Lemma WCPR_wf

∀[F:ℝ ⟶ 𝔹]. ∀[x:ℝ]. ∀[G:n:ℕ+ ⟶ {y:ℝ| x = y ∈ (ℕ+n ⟶ ℤ)} ].  (WCPR(F;x;G) ∈ ℕ+)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[F:\mBbbR{}  {}\mrightarrow{}  \mBbbB{}].  \mforall{}[x:\mBbbR{}].  \mforall{}[G:n:\mBbbN{}\msupplus{}  {}\mrightarrow{}  \{y:\mBbbR{}|  x  =  y\}  ].    (WCPR(F;x;G)  \mmember{}  \mBbbN{}\msupplus{})


By

---

Latex:
ProveWfLemma

---

Home Index