---

f@ ==  b.concat-lifting1(f;b)

---

Definitions occuring in Statement :  concat-lifting1: concat-lifting1(f;bag),  lambda: x.A[x]
Definitions :  lambda: x.A[x],  concat-lifting1: concat-lifting1(f;bag)
FDL editor aliases :  concat-lifting-1

---

f@  ==    \mlambda{}b.concat-lifting1(f;b)


Date html generated: 2011_08_17-PM-06_10_27
Last ObjectModification: 2011_06_02-PM-04_41_31

Home Index