---

Step * 1 1 1 1 1 1 1 1 of Lemma alpha-rename-equivalent

.....wf..... 
1. v : varname()
2. bnds : varname() List
⊢ varname() ∈ Type
BY
{ Auto }

---

Latex:

---

Latex:
.....wf..... 
1.  v  :  varname()
2.  bnds  :  varname()  List
\mvdash{}  varname()  \mmember{}  Type


By

---

Latex:
Auto

---

Home Index