Nuprl Definition : cs-rcv-vote
Vote[a;i;v] == inr <a, i, v>
Definitions occuring in Statement :
pair: <a, b>,
inr: inr x
FDL editor aliases :
cs-rcv-vote
Vote[a;i;v] == inr <a, i, v>
Date html generated:
2015_07_17-AM-11_46_57
Last ObjectModification:
2012_02_25-AM-11_48_44
Home
Index