---

Step * of Lemma Exception_wf

∀[n:Atom2]. ∀[T:Type].  (Exception(n;T) ∈ Type)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[n:Atom2].  \mforall{}[T:Type].    (Exception(n;T)  \mmember{}  Type)


By

---

Latex:
ProveWfLemma

---

Home Index