---

Step * of Lemma eo-forward-info-body

∀[es,e,e':Top].  (msgval(e') ~ msgval(e'))
BY
{ ((RepUR ``es-info-body`` 0 THEN (UnivCD THENA Auto)) THEN RW (SweepDnC EoForwardC) 0 THEN Auto) }

---

Latex:

---

Latex:
\mforall{}[es,e,e':Top].    (msgval(e')  \msim{}  msgval(e'))


By

---

Latex:
((RepUR  ``es-info-body``  0  THEN  (UnivCD  THENA  Auto))  THEN  RW  (SweepDnC  EoForwardC)  0  THEN  Auto)

---

Home Index