---

Step * of Lemma thin-context-subset-adjoin

No Annotations
∀[Gamma:j⊢]. ∀[phi:{Gamma ⊢ _:𝔽}]. ∀[T:{Gamma ⊢ _}]. ∀[t:{Gamma.T ⊢ _}].  Gamma, phi.T ⊢ t
BY
{ Auto }

---

Latex:

---

Latex:
No  Annotations
\mforall{}[Gamma:j\mvdash{}].  \mforall{}[phi:\{Gamma  \mvdash{}  \_:\mBbbF{}\}].  \mforall{}[T:\{Gamma  \mvdash{}  \_\}].  \mforall{}[t:\{Gamma.T  \mvdash{}  \_\}].    Gamma,  phi.T  \mvdash{}  t


By

---

Latex:
Auto

---

Home Index