---

Step * of Lemma csm-fiber-point

∀[s,t,c:Top].  ((fiber-point(t;c))s ~ fiber-point((t)s;(c)s))
BY
{ (RepUR ``fiber-point csm-ap-term cubical-pair`` 0 THEN Auto) }

---

Latex:

---

Latex:
\mforall{}[s,t,c:Top].    ((fiber-point(t;c))s  \msim{}  fiber-point((t)s;(c)s))


By

---

Latex:
(RepUR  ``fiber-point  csm-ap-term  cubical-pair``  0  THEN  Auto)

---

Home Index