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:
2015_07_23-PM-04_10_42
Last ObjectModification:
2014_11_26-AM-11_21_35
Home
Index