Nuprl Definition : pv11_p1_Ballot_Num
pv11_p1_Ballot_Num() == ℤ × Id?
Definitions occuring in Statement :
Id: Id,
unit: Unit,
product: x:A × B[x],
union: left + right,
int: ℤ
FDL editor aliases :
pv11_p1_Ballot_Num
Latex:
pv11\_p1\_Ballot\_Num() == \mBbbZ{} \mtimes{} Id?
Date html generated:
2016_05_17-PM-02_46_45
Last ObjectModification:
2014_11_26-AM-11_21_35
Theory : paxos!synod
Home
Index