Nuprl Definition : mapfilter

mapfilter(f;P;L) ==  map(f;filter(P;L))


Definitions occuring in Statement :  filter: filter(P;l),  map: map(f;as)
Definitions occuring in definition :  map: map(f;as),  filter: filter(P;l)
FDL editor aliases :  mapfilter
Latex:
mapfilter(f;P;L)  ==    map(f;filter(P;L))


Date html generated: 2016_05_14-AM-07_49_58
Last ObjectModification: 2015_09_22-PM-05_54_02

Theory : list_1


Home Index