---

Step * of Lemma cubical-universe_wf

No Annotations
∀[X:j⊢]. X ⊢' c𝕌
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
No  Annotations
\mforall{}[X:j\mvdash{}].  X  \mvdash{}'  c\mBbbU{}


By

---

Latex:
ProveWfLemma

---

Home Index