---

Step * of Lemma set-add_functionality

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

---

Latex:

---

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


By

---

Latex:
Auto

---

Home Index