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