Nuprl Definition : bag-union

bag-union(bbs) ==  concat(bbs)


Definitions occuring in Statement :  concat: concat(ll)
Definitions occuring in definition :  concat: concat(ll)
FDL editor aliases :  bag-union
Latex:
bag-union(bbs)  ==    concat(bbs)


Date html generated: 2016_05_15-PM-02_26_44
Last ObjectModification: 2015_09_23-AM-07_39_08

Theory : bags


Home Index