Step * of Lemma event_ordering_wf

EO ∈ 𝕌'
BY
ProveWfLemma⋅ }


Latex:


Latex:
EO  \mmember{}  \mBbbU{}'


By


Latex:
ProveWfLemma\mcdot{}




Home Index