Nuprl Definition : pv11_p1_dummy_ballot
pv11_p1_dummy_ballot() ==  inr ⋅ 
Definitions occuring in Statement : 
it: ⋅
, 
inr: inr x 
FDL editor aliases : 
pv11_p1_dummy_ballot
Latex:
pv11\_p1\_dummy\_ballot()  ==    inr  \mcdot{} 
Date html generated:
2016_05_17-PM-02_47_07
Last ObjectModification:
2014_11_26-AM-11_21_54
Theory : paxos!synod
Home
Index