Nuprl Definition : fset-mapfilter
fset-mapfilter(f;P;s) == mapfilter(f;P;s)
Definitions occuring in Statement :
mapfilter: mapfilter(f;P;L)
Definitions occuring in definition :
mapfilter: mapfilter(f;P;L)
FDL editor aliases :
fset-mapfilter
Latex:
fset-mapfilter(f;P;s) == mapfilter(f;P;s)
Date html generated:
2017_02_20-AM-10_48_43
Last ObjectModification:
2017_02_02-PM-01_54_22
Theory : finite!sets
Home
Index