---

Step * 2 of Lemma int-problem-dimension_wf


1. y : Unit
⊢ dim(inr y ) ∈ ℕ
BY
{ ProveWfLemma }

---

Latex:

---

Latex:

1.  y  :  Unit
\mvdash{}  dim(inr  y  )  \mmember{}  \mBbbN{}


By

---

Latex:
ProveWfLemma

---

Home Index