---

Step * of Lemma topeq_wf

∀[X:Space]. ∀[a,b:|X|].  (topeq(X;a;b) ∈ ℙ)
BY
{ (RepUR ``topspace toptype topeq`` 0 THEN Auto) }

---

Latex:

---

Latex:
\mforall{}[X:Space].  \mforall{}[a,b:|X|].    (topeq(X;a;b)  \mmember{}  \mBbbP{})


By

---

Latex:
(RepUR  ``topspace  toptype  topeq``  0  THEN  Auto)

---

Home Index