---

Step * of Lemma face-presheaf-point-subtype

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

---

Latex:

---

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


By

---

Latex:
Auto

---

Home Index