---

Step * of Lemma FL-meet-0-1

∀[I:fset(ℕ)]. ∀[x:names(I)].
  (((x=0) ∧ (x=1) = 0 ∈ Point(face_lattice(I))) ∧ ((x=1) ∧ (x=0) = 0 ∈ Point(face_lattice(I))))
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[I:fset(\mBbbN{})].  \mforall{}[x:names(I)].    (((x=0)  \mwedge{}  (x=1)  =  0)  \mwedge{}  ((x=1)  \mwedge{}  (x=0)  =  0))


By

---

Latex:
Auto

---

Home Index