Nuprl Definition : concat-lifting

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



Definitions occuring in Statement :  concat-lifting-list: concat-lifting-list(n;bags) apply: a natural_number: $n
Definitions occuring in definition :  apply: 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