---

Step * of Lemma subtype-face-presheaf-point

∀[I:fset(ℕ)]. (Point(face_lattice(I)) ⊆r 𝔽(I))
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[I:fset(\mBbbN{})].  (Point(face\_lattice(I))  \msubseteq{}r  \mBbbF{}(I))


By

---

Latex:
Auto

---

Home Index