---

Step * of Lemma es-empty-interface-property

∀[Info:Type]. ∀[es:EO+(Info)].  es-interface-empty(es;Empty)
BY
{ (RepUR ``es-interface-empty es-empty-interface in-eclass can-apply`` 0 THEN Auto) }

---

Latex:

---

Latex:
\mforall{}[Info:Type].  \mforall{}[es:EO+(Info)].    es-interface-empty(es;Empty)


By

---

Latex:
(RepUR  ``es-interface-empty  es-empty-interface  in-eclass  can-apply``  0  THEN  Auto)

---

Home Index