---

Step * of Lemma test-label_wf

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

---

Latex:

---

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


By

---

Latex:
MrecLabelWf

---

Home Index