Step * of Lemma event-ordering+_subtype

[T:Type]. (EO+(T) ⊆EO)
BY
(Unfold `event-ordering+` THEN Auto) }


Latex:


\mforall{}[T:Type].  (EO+(T)  \msubseteq{}r  EO)


By

(Unfold  `event-ordering+`  0  THEN  Auto)




Home Index