---

Step * of Lemma isallevents_lemma

∀e,eo:Top.  (e ∈b E ~ tt)
BY
{ (RepUR ``es-all-events in-eclass`` 0 THEN Auto) }

---

Latex:

---

Latex:
\mforall{}e,eo:Top.    (e  \mmember{}\msubb{}  E  \msim{}  tt)


By

---

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

---

Home Index