---

Step * 1 1 of Lemma lookups_same


1. a : LOSet
2. b : AbDMon
3. ∀u:|a|. (([][u]) = ([][u]) ∈ |b|)
⊢ [] = [] ∈ ((|a| × |b|) List)
BY
{ Auto }

---

Latex:

---

Latex:

1.  a  :  LOSet
2.  b  :  AbDMon
3.  \mforall{}u:|a|.  (([][u])  =  ([][u]))
\mvdash{}  []  =  []


By

---

Latex:
Auto

---

Home Index