---

Step * 1 of Lemma case-type-same1

.....wf..... 
1. Gamma : CubicalSet{j}
2. phi : {Gamma ⊢ _:𝔽}
3. A : {Gamma, phi ⊢ _}
4. psi : {Gamma ⊢ _:𝔽}
5. B : {Gamma, psi ⊢ _}
⊢ Gamma, phi j⊢
BY
{ Auto }

---

Latex:

---

Latex:
.....wf..... 
1.  Gamma  :  CubicalSet\{j\}
2.  phi  :  \{Gamma  \mvdash{}  \_:\mBbbF{}\}
3.  A  :  \{Gamma,  phi  \mvdash{}  \_\}
4.  psi  :  \{Gamma  \mvdash{}  \_:\mBbbF{}\}
5.  B  :  \{Gamma,  psi  \mvdash{}  \_\}
\mvdash{}  Gamma,  phi  j\mvdash{}


By

---

Latex:
Auto

---

Home Index