Nuprl Definition : RSC_vote2prop
RSC_vote2prop() == 
zq,z.let z,z = z in let z,c = z in let n,i = z in {<n, c>}
Definitions occuring in Statement :
lambda: x.A[x],
spread: spread def,
pair: <a, b>,
single-bag: {x}
FDL editor aliases :
RSC_vote2prop
RSC\_vote2prop() == \mlambda{}zq,z.let z,z = z in let z,c = z in let n,i = z in \{<n, c>\}
Date html generated:
2012_02_20-PM-04_00_09
Last ObjectModification:
2012_02_02-PM-01_58_46
Home
Index