---

Step * of Lemma FormFvs_wf

∀[c:Type]. ∀[f:Form(c)].  (FormFvs(f) ∈ Atom List)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[c:Type].  \mforall{}[f:Form(c)].    (FormFvs(f)  \mmember{}  Atom  List)


By

---

Latex:
ProveWfLemma

---

Home Index