---

Step * of Lemma set-subtype-coSet

Set{i:l} ⊆r coSet{i:l}
BY
{ (RepUR ``Set coSet W coW param-W`` 0 THEN Auto) }

---

Latex:

---

Latex:
Set\{i:l\}  \msubseteq{}r  coSet\{i:l\}


By

---

Latex:
(RepUR  ``Set  coSet  W  coW  param-W``  0  THEN  Auto)

---

Home Index