---

Step * of Lemma nameset_sq

∀[L:Cname List]. SQType(nameset(L))
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[L:Cname  List].  SQType(nameset(L))


By

---

Latex:
Auto

---

Home Index