---

Step * of Lemma FOAssignment_wf

∀[Dom:Type]. (FOAssignment(Dom) ∈ Type)
BY
{ ProveWfLemma }

---

Latex:


\mforall{}[Dom:Type].  (FOAssignment(Dom)  \mmember{}  Type)


By

ProveWfLemma

---

Home Index