Step * of Lemma es-closed-open-interval_wf

[es:EO]. ∀[e,e':E].  ([e;e') ∈ List)
BY
ProveWfLemma }


Latex:


\mforall{}[es:EO].  \mforall{}[e,e':E].    ([e;e')  \mmember{}  E  List)


By

ProveWfLemma




Home Index