---

Step * of Lemma extl2Cantor_wf

∀[s:𝔹 List]. ∀[b:𝔹].  (extl2Cantor(s;b) ∈ ℕ ⟶ 𝔹)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[s:\mBbbB{}  List].  \mforall{}[b:\mBbbB{}].    (extl2Cantor(s;b)  \mmember{}  \mBbbN{}  {}\mrightarrow{}  \mBbbB{})


By

---

Latex:
ProveWfLemma

---

Home Index