---

Step * of Lemma nameset-value-type

∀[L:Cname List]. value-type(nameset(L))
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[L:Cname  List].  value-type(nameset(L))


By

---

Latex:
Auto

---

Home Index