---

Step * of Lemma qv-dim_wf

∀[as:Top List]. (dimension(as) ∈ ℕ)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[as:Top  List].  (dimension(as)  \mmember{}  \mBbbN{})


By

---

Latex:
ProveWfLemma

---

Home Index