Nuprl Lemma : normal-top
Normal(Top)
Proof
Definitions occuring in Statement : 
normal-type: Normal(T)
, 
top: Top
Definitions unfolded in proof : 
normal-type: Normal(T)
, 
top: Top
, 
member: t ∈ T
Latex:
Normal(Top)
Date html generated:
2016_05_16-AM-11_40_22
Last ObjectModification:
2015_12_29-AM-09_33_47
Theory : event-ordering
Home
Index