---

Step * of Lemma dl-test_wf

∀[x:Prop]. ((x)? ∈ Prog)
BY
{ MrecConstructorWf }

---

Latex:

---

Latex:
\mforall{}[x:Prop].  ((x)?  \mmember{}  Prog)


By

---

Latex:
MrecConstructorWf

---

Home Index