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
Definitions unfolded in proof :
uimplies: b supposing a,
subtype_rel: A ⊆r B,
member: t ∈ T
Latex:
EO \msubseteq{}r event\_ordering\{i':l\}
Date html generated:
2016_05_16-AM-09_19_08
Last ObjectModification:
2015_12_28-PM-09_55_16
Theory : new!event-ordering
Home
Index