---

Step * of Lemma face-type-sq

𝔽 ~ <λI,alpha. Point(face_lattice(I)), λI,J,f,alpha,w. (w)<f>>
BY
{ Computation }

---

Latex:

---

Latex:
\mBbbF{}  \msim{}  <\mlambda{}I,alpha.  Point(face\_lattice(I)),  \mlambda{}I,J,f,alpha,w.  (w)<f>>


By

---

Latex:
Computation

---

Home Index