---

Step * of Lemma b-almost-full_wf

∀[R:ℕ ⟶ ℕ ⟶ ℙ]. (b-almost-full(n,m.R[n;m]) ∈ ℙ)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[R:\mBbbN{}  {}\mrightarrow{}  \mBbbN{}  {}\mrightarrow{}  \mBbbP{}].  (b-almost-full(n,m.R[n;m])  \mmember{}  \mBbbP{})


By

---

Latex:
ProveWfLemma

---

Home Index