---

Step * of Lemma fl-morph-fl0

∀[J,I:fset(ℕ)]. ∀[f:J ⟶ I]. ∀[x:names(I)].  (((x=0))<f> = dM-to-FL(J;¬(f x)) ∈ Point(face_lattice(J)))
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[J,I:fset(\mBbbN{})].  \mforall{}[f:J  {}\mrightarrow{}  I].  \mforall{}[x:names(I)].    (((x=0))<f>  =  dM-to-FL(J;\mneg{}(f  x)))


By

---

Latex:
Auto

---

Home Index