Nuprl Definition : imax-bag

imax-bag(bs) ==  imax-list(bs)


Definitions occuring in Statement :  imax-list: imax-list(L)
Definitions occuring in definition :  imax-list: imax-list(L)
FDL editor aliases :  imax-bag
Latex:
imax-bag(bs)  ==    imax-list(bs)


Date html generated: 2016_05_15-PM-02_30_44
Last ObjectModification: 2015_09_23-AM-07_39_24

Theory : bags


Home Index