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