---

Step * of Lemma test-eq-E-update

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

---

Latex:


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


By

Auto

---

Home Index