---

Step * of Lemma single-valued-list_wf

∀T:Type. ∀[L:T List]. (single-valued-list(L;T) ∈ ℙ)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}T:Type.  \mforall{}[L:T  List].  (single-valued-list(L;T)  \mmember{}  \mBbbP{})


By

---

Latex:
ProveWfLemma

---

Home Index