Nuprl Definition : pv11_p1_abs_Ballot_Num

pv11_p1_abs_Ballot_Num() ==  λx.x



Definitions occuring in Statement :  lambda: λx.A[x]
FDL editor aliases :  pv11_p1_abs_Ballot_Num

Latex:
pv11\_p1\_abs\_Ballot\_Num()  ==    \mlambda{}x.x



Date html generated: 2015_07_23-PM-04_10_43
Last ObjectModification: 2014_11_26-AM-11_21_38

Home Index