---

Step * of Lemma test-eq-E-update

∀[es:EO]. ∀[e:E].  (↑e = e)
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[es:EO].  \mforall{}[e:E].    (\muparrow{}e  =  e)


By

---

Latex:
Auto

---

Home Index