Nuprl Definition : fset-map

fset-map(f;s) ==  map(f;s)


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


Date html generated: 2017_02_20-AM-10_48_54
Last ObjectModification: 2017_02_02-PM-06_58_16

Theory : finite!sets


Home Index