---

Step * of Lemma ss-basic-and_wf

No Annotations
∀[X:SeparationSpace]. ∀[u,v:ss-basic(X)].  (ss-basic-and(u;v) ∈ ss-basic(X))
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
No  Annotations
\mforall{}[X:SeparationSpace].  \mforall{}[u,v:ss-basic(X)].    (ss-basic-and(u;v)  \mmember{}  ss-basic(X))


By

---

Latex:
ProveWfLemma

---

Home Index