---

Step * 1 of Lemma topfuneq-equiv


1. X : Space
2. Y : Space
3. a : topfun(X;Y)
⊢ topfuneq(X;Y;a;a)
BY
{ (D 0 THEN EAuto 1) }

---

Latex:

---

Latex:

1.  X  :  Space
2.  Y  :  Space
3.  a  :  topfun(X;Y)
\mvdash{}  topfuneq(X;Y;a;a)


By

---

Latex:
(D  0  THEN  EAuto  1)

---

Home Index