---

Step * of Lemma pairset_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