---

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