---

Step * 1 of Lemma ss-id_wf


1. X : SeparationSpace
⊢ ss-id() ∈ Point(X) ⟶ Point(X)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:

1.  X  :  SeparationSpace
\mvdash{}  ss-id()  \mmember{}  Point(X)  {}\mrightarrow{}  Point(X)


By

---

Latex:
ProveWfLemma

---

Home Index