ConsensusState == {a:Id| (a 
A)} 
(
j: fp-> V)
Definitions :
function: x:A B[x],
set: {x:A| B[x]} ,
l_member: (x l),
Id: Id,
product: x:A B[x],
fpf: a:A fp-> B[a],
int:
FDL editor aliases :
consensus-state4
ConsensusState == \{a:Id| (a \mmember{} A)\} {}\mrightarrow{} (\mBbbZ{} \mtimes{} j:\mBbbZ{} fp-> V)
Date html generated:
2010_08_27-AM-12_28_57
Last ObjectModification:
2009_12_23-PM-03_23_22
Home
Index