---

Step * of Lemma trivial-cube-set_wf

No Annotations
() j⊢
BY
{ PresheafMLTTInstance Obid: trivial-psc_wf⋅ }

---

Latex:

---

Latex:
No  Annotations
()  j\mvdash{}


By

---

Latex:
PresheafMLTTInstance  Obid:  trivial-psc\_wf\mcdot{}

---

Home Index