Nuprl Definition : Ballot_Num
Ballot_Num() == 
Id?
Proof not projected
Definitions occuring in Statement :
Id: Id,
unit: Unit,
product: x:A B[x],
union: left + right,
int:
Definitions :
union: left + right,
product: x:A B[x],
int: ,
Id: Id,
unit: Unit
FDL editor aliases :
Ballot_Num
Ballot\_Num() == \mBbbZ{} \mtimes{} Id?
Date html generated:
2011_10_20-PM-04_59_16
Last ObjectModification:
2011_05_10-PM-01_16_39
Home
Index