---

Step * 1 2 2 of Lemma face-maps-comp-property

.....eq aux..... 
1. L : (Cname × ℕ2) List
⊢ istype((Cname × ℕ2) List)
BY
{ TACTIC:Auto }

---

Latex:

---

Latex:
.....eq  aux..... 
1.  L  :  (Cname  \mtimes{}  \mBbbN{}2)  List
\mvdash{}  istype((Cname  \mtimes{}  \mBbbN{}2)  List)


By

---

Latex:
TACTIC:Auto

---

Home Index