---

Step * of Lemma csm-cubical-universe

No Annotations
∀[s:Top]. ((c𝕌)s ~ c𝕌)
BY
{ (Unfold `cubical-universe` 0 THEN Auto) }

---

Latex:

---

Latex:
No  Annotations
\mforall{}[s:Top].  ((c\mBbbU{})s  \msim{}  c\mBbbU{})


By

---

Latex:
(Unfold  `cubical-universe`  0  THEN  Auto)

---

Home Index