---

Step * of Lemma plus-set_functionality

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

---

Latex:

---

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


By

---

Latex:
Auto

---

Home Index