---

Step * 1 of Lemma empty-context-subset-lemma1


1. Gamma : CubicalSet{j}
2. A : Top
3. x : Top
⊢ ∀I:fset(ℕ). (¬Gamma, 0(𝔽).𝕀(I))
BY
{ RepeatFor 2 ((D 0 THENA Auto)) }

1
1. Gamma : CubicalSet{j}
2. A : Top
3. x : Top
4. I : fset(ℕ)
5. Gamma, 0(𝔽).𝕀(I)
⊢ False

---

Latex:

---

Latex:

1.  Gamma  :  CubicalSet\{j\}
2.  A  :  Top
3.  x  :  Top
\mvdash{}  \mforall{}I:fset(\mBbbN{}).  (\mneg{}Gamma,  0(\mBbbF{}).\mBbbI{}(I))


By

---

Latex:
RepeatFor  2  ((D  0  THENA  Auto))

---

Home Index