---

Step * of Lemma csm-cubical-pair

∀[u,v,s:Top].  ((cubical-pair(u;v))s ~ cubical-pair((u)s;(v)s))
BY
{ PresheafMLTTInstance Obid: pscm-presheaf-pair⋅ }

---

Latex:

---

Latex:
\mforall{}[u,v,s:Top].    ((cubical-pair(u;v))s  \msim{}  cubical-pair((u)s;(v)s))


By

---

Latex:
PresheafMLTTInstance  Obid:  pscm-presheaf-pair\mcdot{}

---

Home Index