---

Step * of Lemma subset-I_cube

No Annotations
∀[X,Y:j⊢].  ∀I:fset(ℕ). (Y(I) ⊆r X(I)) supposing sub_cubical_set{j:l}(Y; X)
BY
{ PresheafMLTTInstance Obid: subset-I_set⋅ }

---

Latex:

---

Latex:
No  Annotations
\mforall{}[X,Y:j\mvdash{}].    \mforall{}I:fset(\mBbbN{}).  (Y(I)  \msubseteq{}r  X(I))  supposing  sub\_cubical\_set\{j:l\}(Y;  X)


By

---

Latex:
PresheafMLTTInstance  Obid:  subset-I\_set\mcdot{}

---

Home Index