---

Step * of Lemma E_interface_all_events_lemma

∀es:Top. (E(E) ~ {e:E| True} )
BY
{ (RepUR ``es-all-events es-E-interface in-eclass`` 0 THEN Auto) }

---

Latex:

---

Latex:
\mforall{}es:Top.  (E(E)  \msim{}  \{e:E|  True\}  )


By

---

Latex:
(RepUR  ``es-all-events  es-E-interface  in-eclass``  0  THEN  Auto)

---

Home Index