Nuprl Definition : bag-append

as + bs ==  as @ bs


Definitions occuring in Statement :  append: as @ bs
Definitions occuring in definition :  append: as @ bs
Latex:
as  +  bs  ==    as  @  bs


Date html generated: 2016_05_15-PM-02_22_08
Last ObjectModification: 2015_09_23-AM-07_39_00

Theory : bags


Home Index