---

Step * of Lemma finite_set_wf

∀[s:DSet]. (FiniteSet{s} ∈ Type)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[s:DSet].  (FiniteSet\{s\}  \mmember{}  Type)


By

---

Latex:
ProveWfLemma

---

Home Index