---

Step * of Lemma unit-cube_wf

∀[I:Cname List]. (unit-cube(I) ∈ CubicalSet)
BY
{ (Intros THEN (MemTypeCD THENW Auto) THEN RepUR ``unit-cube compose`` 0 THEN Auto) }

---

Latex:

---

Latex:
\mforall{}[I:Cname  List].  (unit-cube(I)  \mmember{}  CubicalSet)


By

---

Latex:
(Intros  THEN  (MemTypeCD  THENW  Auto)  THEN  RepUR  ``unit-cube  compose``  0  THEN  Auto)

---

Home Index