Nuprl Definition : concat-lifting

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


Date html generated: 2016_05_15-PM-03_06_29
Last ObjectModification: 2015_09_23-AM-07_41_38

Theory : bags


Home Index