---

Step * of Lemma fun-ss-point

∀[ss,A:Top].  (Point(A ⟶ ss) ~ A ⟶ Point(ss))
BY
{ (Auto THEN Computation) }

---

Latex:

---

Latex:
\mforall{}[ss,A:Top].    (Point(A  {}\mrightarrow{}  ss)  \msim{}  A  {}\mrightarrow{}  Point(ss))


By

---

Latex:
(Auto  THEN  Computation)

---

Home Index