---

Step * of Lemma cubical-bool_wf

Bool ∈ {() ⊢ _:c𝕌}
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
Bool  \mmember{}  \{()  \mvdash{}  \_:c\mBbbU{}\}


By

---

Latex:
ProveWfLemma

---

Home Index