---

Step * of Lemma topfuneq_wf

∀[X,Y:Space]. ∀[f,g:topfun(X;Y)].  (topfuneq(X;Y;f;g) ∈ ℙ)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[X,Y:Space].  \mforall{}[f,g:topfun(X;Y)].    (topfuneq(X;Y;f;g)  \mmember{}  \mBbbP{})


By

---

Latex:
ProveWfLemma

---

Home Index