Nuprl Definition : mapl

mapl(f;l) ==  map(f;l)


Definitions occuring in Statement :  map: map(f;as)
Definitions occuring in definition :  map: map(f;as)
FDL editor aliases :  mapl
Latex:
mapl(f;l)  ==    map(f;l)


Date html generated: 2016_05_14-PM-02_55_22
Last ObjectModification: 2015_09_22-PM-05_57_56

Theory : list_1


Home Index