Nuprl Definition : F

F() ==

vts,props.(props @ bag-map(vote2prop();vts))

Proof not projected

Definitions occuring in Statement : vote2prop: vote2prop(), append: as @ bs, lambda:

x.A[x], bag-map: bag-map(f;bs)
FDL editor aliases : F

F() == \mlambda{}vts,props.(props @ bag-map(vote2prop();vts)) Date html generated: 2011_10_21-AM-08_27_55 Last ObjectModification: 2011_07_20-AM-04_44_42 Home Index