---

Step * of Lemma context-subset-1-subtype

No Annotations
∀[Gamma:j⊢]. ({Gamma, 1(𝔽) ⊢ _} ⊆r {Gamma ⊢ _})
BY
{ Auto }

---

Latex:

---

Latex:
No  Annotations
\mforall{}[Gamma:j\mvdash{}].  (\{Gamma,  1(\mBbbF{})  \mvdash{}  \_\}  \msubseteq{}r  \{Gamma  \mvdash{}  \_\})


By

---

Latex:
Auto

---

Home Index