Nuprl Definition : cs-ambivalent
AMBIVALENT ==  inr inr ⋅  
Definitions occuring in Statement : 
it: ⋅
, 
inr: inr x 
FDL editor aliases : 
cs-ambivalent
Latex:
AMBIVALENT  ==    inr  inr  \mcdot{}   
Date html generated:
2016_05_16-AM-11_46_53
Last ObjectModification:
2012_02_25-AM-11_39_40
Theory : event-ordering
Home
Index