---

Step * of Lemma dl-label_wf

∀[d:dl-Obj()]. (dl-label(d) ∈ Atom)
BY
{ MrecLabelWf }

---

Latex:

---

Latex:
\mforall{}[d:dl-Obj()].  (dl-label(d)  \mmember{}  Atom)


By

---

Latex:
MrecLabelWf

---

Home Index