---

concat-lifting(n;f;bags) ==  concat-lifting-list(n;bags) 0 f

---

Definitions occuring in Statement :  concat-lifting-list: concat-lifting-list(n;bags),  apply: f a,  natural_number: $n
Definitions :  apply: f a,  concat-lifting-list: concat-lifting-list(n;bags),  natural_number: $n
FDL editor aliases :  concat-lifting

---

concat-lifting(n;f;bags)  ==    concat-lifting-list(n;bags)  0  f


Date html generated: 2011_08_17-PM-06_08_28
Last ObjectModification: 2011_06_01-PM-06_45_13

Home Index