---

Step * of Lemma isempty_lemma

∀e,eo:Top.  (e ∈b Empty ~ ff)
BY
{ (RepUR ``es-empty-interface in-eclass`` 0 THEN Auto) }

---

Latex:


\mforall{}e,eo:Top.    (e  \mmember{}\msubb{}  Empty  \msim{}  ff)


By

(RepUR  ``es-empty-interface  in-eclass``  0  THEN  Auto)

---

Home Index