---

Step * of Lemma unit-cube-I-cube

∀[I,L:Top].  (unit-cube(I)(L) ~ name-morph(I;L))
BY
{ (RepUR ``unit-cube I-cube functor-ob`` 0 THEN Auto) }

---

Latex:

---

Latex:
\mforall{}[I,L:Top].    (unit-cube(I)(L)  \msim{}  name-morph(I;L))


By

---

Latex:
(RepUR  ``unit-cube  I-cube  functor-ob``  0  THEN  Auto)

---

Home Index