Nuprl Lemma : thread_wf
Thread ∈ Type
Proof
Definitions occuring in Statement :
thread: Thread,
member: t ∈ T,
universe: Type
Definitions unfolded in proof :
thread: Thread,
member: t ∈ T
Latex:
Thread \mmember{} Type
Date html generated:
2016_05_16-AM-10_22_30
Last ObjectModification:
2015_12_28-PM-09_19_20
Theory : new!event-ordering
Home
Index