---

Step * of Lemma tlp_wf

∀[A:Type]. ∀[L:A List+].  (tlp(L) ∈ A List)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[A:Type].  \mforall{}[L:A  List\msupplus{}].    (tlp(L)  \mmember{}  A  List)


By

---

Latex:
ProveWfLemma

---

Home Index