---

Step * of Lemma test-kind_wf

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

---

Latex:

---

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


By

---

Latex:
MrecKindWf

---

Home Index