---

Step * of Lemma cubes-id

∀[X:Top]. (cat-id(cubes(X)) ~ λ_.1)
BY
{ PresheafMLTTInstance Obid: sets-id⋅ }

---

Latex:

---

Latex:
\mforall{}[X:Top].  (cat-id(cubes(X))  \msim{}  \mlambda{}$_{}$.1)


By

---

Latex:
PresheafMLTTInstance  Obid:  sets-id\mcdot{}

---

Home Index