---

Step * of Lemma ss-eq_functionality

∀ss:SeparationSpace. ∀x1,x2,y1,y2:Point.  (uiff(x1 ≡ y1;x2 ≡ y2)) supposing (y1 ≡ y2 and x1 ≡ x2)
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}ss:SeparationSpace.  \mforall{}x1,x2,y1,y2:Point.    (uiff(x1  \mequiv{}  y1;x2  \mequiv{}  y2))  supposing  (y1  \mequiv{}  y2  and  x1  \mequiv{}  x2)


By

---

Latex:
Auto

---

Home Index