---

Step * of Lemma cosetTC-set-function

∀s:coSet{i:l}. set-function{i:l}(s; a.cosetTC(a))
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}s:coSet\{i:l\}.  set-function\{i:l\}(s;  a.cosetTC(a))


By

---

Latex:
Auto

---

Home Index