---

Step * of Lemma dl-prog-obj_wf

∀x:Prog. (prog(x) ∈ dl-Obj())
BY
{ MrecConstructorWf }

---

Latex:

---

Latex:
\mforall{}x:Prog.  (prog(x)  \mmember{}  dl-Obj())


By

---

Latex:
MrecConstructorWf

---

Home Index