---

Step * 2 of Lemma num-eq-constraints_wf


1. y : Unit
⊢ num-eq-constraints(inr y ) ∈ ℕ
BY
{ ProveWfLemma }

---

Latex:

---

Latex:

1.  y  :  Unit
\mvdash{}  num-eq-constraints(inr  y  )  \mmember{}  \mBbbN{}


By

---

Latex:
ProveWfLemma

---

Home Index