Nuprl Definition : ballot

ballot_num(astate) == fst(astate)

Proof not projected

Definitions occuring in Statement : pi1: fst(t)
Definitions : pi1: fst(t)
FDL editor aliases : ballot_num

ballot\_num(astate) == fst(astate) Date html generated: 2011_10_20-PM-11_56_11 Last ObjectModification: 2011_05_12-PM-02_18_39 Home Index