---

inl-class(X) ==  b.bag-map(x.(inl x );b) o X

---

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

---

inl-class(X)  ==    \mlambda{}b.bag-map(\mlambda{}x.(inl  x  );b)  o  X


Date html generated: 2011_08_16-PM-04_20_42
Last ObjectModification: 2011_01_20-PM-12_55_02

Home Index