---

Step * 1 of Lemma es-loc-mk-extended-eo


1. [Info] : Top
2. [E] : Top
3. [dom] : Top
4. [l] : Top
5. [R] : Top
6. [locless] : Top
7. [pred] : Top
8. [rank] : Top
9. [info] : Top
10. [x] : Top
⊢ loc(x) ~ l x
BY
{ (RepUR ``es-loc mk-extended-eo mk-eo mk-eo-record`` 0 THEN Auto) }

---

Latex:

---

Latex:

1.  [Info]  :  Top
2.  [E]  :  Top
3.  [dom]  :  Top
4.  [l]  :  Top
5.  [R]  :  Top
6.  [locless]  :  Top
7.  [pred]  :  Top
8.  [rank]  :  Top
9.  [info]  :  Top
10.  [x]  :  Top
\mvdash{}  loc(x)  \msim{}  l  x


By

---

Latex:
(RepUR  ``es-loc  mk-extended-eo  mk-eo  mk-eo-record``  0  THEN  Auto)

---

Home Index