---

lifting-gen-rev(n;f;bags) ==  lifting-gen-list-rev(n;bags) 0 f

---

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

---

lifting-gen-rev(n;f;bags)  ==    lifting-gen-list-rev(n;bags)  0  f


Date html generated: 2011_08_17-PM-05_58_27
Last ObjectModification: 2011_05_25-AM-00_43_30

Home Index