---

Step * of Lemma unionset_functionality

∀a,b:coSet{i:l}.  (seteq(a;b) ⇒ seteq(⋃(a);⋃(b)))
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}a,b:coSet\{i:l\}.    (seteq(a;b)  {}\mRightarrow{}  seteq(\mcup{}(a);\mcup{}(b)))


By

---

Latex:
Auto

---

Home Index