---

Step * of Lemma face-presheaf_wf2

No Annotations
𝔽 j⊢
BY
{ (SubsumeC ⌜small_cubical_set{j:l}⌝⋅ THEN Auto) }

---

Latex:

---

Latex:
No  Annotations
\mBbbF{}  j\mvdash{}


By

---

Latex:
(SubsumeC  \mkleeneopen{}small\_cubical\_set\{j:l\}\mkleeneclose{}\mcdot{}  THEN  Auto)

---

Home Index