Step
*
of Lemma
event-ordering+_subtype
∀[T:Type]. (EO+(T) ⊆r EO)
BY
{ (Unfold `event-ordering+` 0 THEN Auto) }
Latex:
Latex:
\mforall{}[T:Type].  (EO+(T)  \msubseteq{}r  EO)
By
Latex:
(Unfold  `event-ordering+`  0  THEN  Auto)
Home
Index