Nuprl Lemma : Ballot_Num_wf
Ballot_Num() 
Type
Proof not projected
Definitions occuring in Statement :
Ballot_Num: Ballot_Num(),
member: t T,
universe: Type
Definitions :
universe: Type,
member: t T,
unit: Unit,
equal: s = t,
function: x:A 
B[x],
all: 
x:A. B[x],
Id: Id,
int: 
,
product: x:A 
B[x],
union: left + right,
Ballot_Num: Ballot_Num()
Lemmas :
Id_wf,
unit_wf
Ballot\_Num() \mmember{} Type
Date html generated:
2011_10_20-PM-04_59_28
Last ObjectModification:
2011_05_10-PM-01_17_52
Home
Index