---

Step * of Lemma dl-kind_wf

∀[d:dl-Obj()]. (dl-kind(d) ∈ {a:Atom| (a ∈ ``prog prop``)} )
BY
{ MrecKindWf }

---

Latex:

---

Latex:
\mforall{}[d:dl-Obj()].  (dl-kind(d)  \mmember{}  \{a:Atom|  (a  \mmember{}  ``prog  prop``)\}  )


By

---

Latex:
MrecKindWf

---

Home Index