---

Step * of Lemma ss-fun-point

∀[X,Y:Top].  (Point(X ⟶ Y) ~ {f:Point(X) ⟶ Point(Y)| ss-function(X;Y;f)} )
BY
{ (Auto THEN Computation) }

---

Latex:

---

Latex:
\mforall{}[X,Y:Top].    (Point(X  {}\mrightarrow{}  Y)  \msim{}  \{f:Point(X)  {}\mrightarrow{}  Point(Y)|  ss-function(X;Y;f)\}  )


By

---

Latex:
(Auto  THEN  Computation)

---

Home Index