---

Step * of Lemma context-map-1

No Annotations
∀[I:fset(ℕ)]. (<1> = 1(formal-cube(I)) ∈ formal-cube(I) ⟶ formal-cube(I))
BY
{ PresheafMLTTInstance Obid: ps-context-map-1⋅ }

---

Latex:

---

Latex:
No  Annotations
\mforall{}[I:fset(\mBbbN{})].  (ə>  =  1(formal-cube(I)))


By

---

Latex:
PresheafMLTTInstance  Obid:  ps-context-map-1\mcdot{}

---

Home Index