Step
*
of Lemma
event-ordering+_wf
∀[T:Type]. (EO+(T) ∈ 𝕌')
BY
{ ProveWfLemma }
Latex:
\mforall{}[T:Type].  (EO+(T)  \mmember{}  \mBbbU{}')
By
ProveWfLemma
Home
Index