---

f'Ia ==  b.bag-map(f;b) o Ia

---

Definitions occuring in Statement :  eclass-compose1: f o X,  lambda: x.A[x],  bag-map: bag-map(f;bs)
Definitions :  eclass-compose1: f o X,  lambda: x.A[x],  bag-map: bag-map(f;bs)
FDL editor aliases :  es-interface-image

---

f'Ia  ==    \mlambda{}b.bag-map(f;b)  o  Ia


Date html generated: 2011_08_16-AM-11_39_55
Last ObjectModification: 2011_01_14-PM-05_45_12

Home Index