Nuprl Definition : lifting-gen-rev

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 occuring in definition :  apply: f a,  lifting-gen-list-rev: lifting-gen-list-rev(n;bags),  natural_number: $n
FDL editor aliases :  lifting-gen-rev
Latex:
lifting-gen-rev(n;f;bags)  ==    lifting-gen-list-rev(n;bags)  0  f


Date html generated: 2016_05_15-PM-02_59_45
Last ObjectModification: 2015_09_23-AM-07_40_48

Theory : bags


Home Index