Nuprl Definition : bag-map

bag-map(f;bs) ==  map(f;bs)


Definitions occuring in Statement :  map: map(f;as)
Definitions occuring in definition :  map: map(f;as)
FDL editor aliases :  bag-map
Latex:
bag-map(f;bs)  ==    map(f;bs)


Date html generated: 2016_05_15-PM-02_21_58
Last ObjectModification: 2015_09_23-AM-07_38_59

Theory : bags


Home Index