Nuprl Definition : fset_map
fs-map(f, a) == fset_of_mset(s';msmap{s,s'}(f;a))
Definitions occuring in Statement :
fset_of_mset: fset_of_mset(s;a),
mset_map: msmap{s,s'}(f;a)
Definitions occuring in definition :
fset_of_mset: fset_of_mset(s;a),
mset_map: msmap{s,s'}(f;a)
Latex:
fs-map(f, a) == fset\_of\_mset(s';msmap\{s,s'\}(f;a))
Date html generated:
2016_05_16-AM-07_50_26
Last ObjectModification:
2015_09_23-AM-09_52_17
Theory : mset
Home
Index