---

Step * of Lemma csm-constant-cubical-type

∀[X,s:Top].  (((X))s ~ (X))
BY
{ PresheafMLTTInstance Obid: pscm-constant-presheaf-type⋅ }

---

Latex:

---

Latex:
\mforall{}[X,s:Top].    (((X))s  \msim{}  (X))


By

---

Latex:
PresheafMLTTInstance  Obid:  pscm-constant-presheaf-type\mcdot{}

---

Home Index