Nuprl Definition : vote2prop
vote2prop() == 
zn.let zo,c = zn in let n,i = zo in <n, c>
Proof not projected
Wellformedness Lemmas :
vote2prop_wf,
vote2prop_wf
Definitions occuring in Statement :
lambda: x.A[x],
spread: spread def,
pair: <a, b>
FDL editor aliases :
vote2prop
vote2prop
vote2prop
vote2prop() == \mlambda{}zn.let zo,c = zn in let n,i = zo in <n, c>
Date html generated:
2011_10_21-AM-08_27_32
Last ObjectModification:
2011_07_20-AM-04_44_22
Home
Index