Nuprl Definition : pv8_p1_init_ballot_num
pv8_p1_init_ballot_num() == 
loc.(inl <0, loc> )
Definitions occuring in Statement :
lambda: x.A[x],
pair: <a, b>,
inl: inl x ,
natural_number: $n
FDL editor aliases :
pv8_p1_init_ballot_num
pv8_p1_init_ballot_num
pv8\_p1\_init\_ballot\_num() == \mlambda{}loc.(inl ɘ, loc> )
Date html generated:
2012_02_20-PM-07_23_57
Last ObjectModification:
2012_02_06-PM-01_43_14
Home
Index