---

Step * of Lemma es-E-interface-conditional-subtype2

∀[Info:Type]. ∀[es:EO+(Info)]. ∀[X,Y:EClass(Top)].  (E(Y) ⊆r E([X?Y]))
BY
{ Auto }

---

Latex:


\mforall{}[Info:Type].  \mforall{}[es:EO+(Info)].  \mforall{}[X,Y:EClass(Top)].    (E(Y)  \msubseteq{}r  E([X?Y]))


By

Auto

---

Home Index