Nuprl Lemma : event_system-level-subtype
EO ⊆r event_ordering{i':l}
Proof
Definitions occuring in Statement :
event_ordering: EO,
subtype_rel: A ⊆r B
Lemmas :
event_ordering_cumulative
EO \msubseteq{}r event\_ordering\{i':l\}
Date html generated:
2015_07_17-AM-08_36_47
Last ObjectModification:
2015_01_27-PM-02_57_43
Home
Index