---

Step * of Lemma neighbourhood-function-nat_wf

∀[G:finite-nat-seq() ⟶ (ℕ?)]. (K0(G) ∈ Type)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[G:finite-nat-seq()  {}\mrightarrow{}  (\mBbbN{}?)].  (K0(G)  \mmember{}  Type)


By

---

Latex:
ProveWfLemma

---

Home Index