simple-consensus-msg() == 
+ (
)
Definitions :
union: left + right,
product: x:A B[x],
nat: ,
int:
FDL editor aliases :
simple-consensus-msg
simple-consensus-msg() == \mBbbZ{} + (\mBbbN{} \mtimes{} \mBbbZ{})
Date html generated:
2010_08_27-PM-08_24_33
Last ObjectModification:
2010_06_23-PM-11_54_35
Home
Index