---

Step * of Lemma pi-example_wf

∀[x,y,z,v:Name].  (pi-example(x;y;z;v) ∈ pi_term())
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[x,y,z,v:Name].    (pi-example(x;y;z;v)  \mmember{}  pi\_term())


By

---

Latex:
ProveWfLemma

---

Home Index