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