Nuprl Lemma : event_ordering_wf
EO ∈ 𝕌'
Proof
Definitions occuring in Statement :
event_ordering: EO
,
member: t ∈ T
,
universe: Type
Lemmas :
eo_record_wf,
eo_axioms_wf
EO \mmember{} \mBbbU{}'
Date html generated:
2015_07_17-AM-08_33_54
Last ObjectModification:
2015_01_27-PM-02_59_36
Home
Index