---

Step * 2 of Lemma void-list-equality2


1. x : Void List
2. y : Void List
3. T : Type
⊢ y = y ∈ (T List)
BY
{  Auto }

---

Latex:

---

Latex:

1.  x  :  Void  List
2.  y  :  Void  List
3.  T  :  Type
\mvdash{}  y  =  y


By

---

Latex:
  Auto

---

Home Index