Nuprl Definition : pv11_p1_rep_Ballot_Num
pv11_p1_rep_Ballot_Num() == λx.x
Definitions occuring in Statement :
lambda: λx.A[x]
FDL editor aliases :
pv11_p1_rep_Ballot_Num
Latex:
pv11\_p1\_rep\_Ballot\_Num() == \mlambda{}x.x
Date html generated:
2015_07_23-PM-04_10_45
Last ObjectModification:
2014_11_26-AM-11_21_41
Home
Index