---

Step * of Lemma subset-context-1

No Annotations
∀[Gamma:j⊢]. sub_cubical_set{j:l}(Gamma, 1(𝔽); Gamma)
BY
{ (Auto THEN UnfoldTopAb 0) }

---

Latex:

---

Latex:
No  Annotations
\mforall{}[Gamma:j\mvdash{}].  sub\_cubical\_set\{j:l\}(Gamma,  1(\mBbbF{});  Gamma)


By

---

Latex:
(Auto  THEN  UnfoldTopAb  0)

---

Home Index