---

Step * of Lemma phi-star_wf

∀[Phi:((ℕ ⟶ ℕ) ⟶ ℕ) ⟶ ℕ]. (Phi* ∈ ((ℕ ⟶ ℕ) ⟶ ℕ) ⟶ finite-nat-seq())
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[Phi:((\mBbbN{}  {}\mrightarrow{}  \mBbbN{})  {}\mrightarrow{}  \mBbbN{})  {}\mrightarrow{}  \mBbbN{}].  (Phi*  \mmember{}  ((\mBbbN{}  {}\mrightarrow{}  \mBbbN{})  {}\mrightarrow{}  \mBbbN{})  {}\mrightarrow{}  finite-nat-seq())


By

---

Latex:
ProveWfLemma

---

Home Index