Nuprl Definition : consensus-message
consensus-message(b;i;z) == inr inr <b, i, z>
Definitions occuring in Statement :
pair: <a, b>,
inr: inr x
FDL editor aliases :
consensus-message
consensus-message(b;i;z) == inr inr <b, i, z>
Date html generated:
2015_07_17-AM-11_44_06
Last ObjectModification:
2012_02_25-AM-11_47_18
Home
Index