---

Step * of Lemma cubical-false_wf

No Annotations
False j⊢
BY
{ PresheafMLTTInstance Obid: presheaf-false_wf⋅ }

---

Latex:

---

Latex:
No  Annotations
False  j\mvdash{}


By

---

Latex:
PresheafMLTTInstance  Obid:  presheaf-false\_wf\mcdot{}

---

Home Index