Nuprl Definition : ballot-id
ballot-id() == 
?
Proof not projected
Definitions occuring in Statement :
nat: ,
unit: Unit,
product: x:A B[x],
union: left + right
Definitions :
union: left + right,
product: x:A B[x],
nat: ,
unit: Unit
FDL editor aliases :
ballot-id
ballot-id() == \mBbbN{} \mtimes{} \mBbbN{}?
Date html generated:
2011_10_20-PM-04_11_23
Last ObjectModification:
2011_01_29-AM-00_41_53
Home
Index