---

Step * 2 of Lemma topfuneq-equiv


1. X : Space
2. Y : Space
3. a : topfun(X;Y)
4. b : topfun(X;Y)
5. topfuneq(X;Y;a;b)
⊢ topfuneq(X;Y;b;a)
BY
{ (RepeatFor 2 (ParallelLast) THEN EAuto 1) }

---

Latex:

---

Latex:

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


By

---

Latex:
(RepeatFor  2  (ParallelLast)  THEN  EAuto  1)

---

Home Index