---

Step * of Lemma homeomorphic+_wf

∀[X,Y:Type]. ∀[dX:metric(X)]. ∀[dY:metric(Y)].  (homeomorphic+(X;dX;Y;dY) ∈ ℙ)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[X,Y:Type].  \mforall{}[dX:metric(X)].  \mforall{}[dY:metric(Y)].    (homeomorphic+(X;dX;Y;dY)  \mmember{}  \mBbbP{})


By

---

Latex:
ProveWfLemma

---

Home Index