---

Step * of Lemma csm-cubical-unit

∀[s:Top]. ((1)s ~ 1)
BY
{ PresheafMLTTInstance Obid: pscm-presheaf-unit⋅ }

---

Latex:

---

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


By

---

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

---

Home Index