Nuprl Definition : bag-to-set

bag-to-set(eq;bs) ==  bag-remove-repeats(eq;bs)


Definitions occuring in Statement :  bag-remove-repeats: bag-remove-repeats(eq;bs)
Definitions occuring in definition :  bag-remove-repeats: bag-remove-repeats(eq;bs)
FDL editor aliases :  bag-to-set
Latex:
bag-to-set(eq;bs)  ==    bag-remove-repeats(eq;bs)


Date html generated: 2016_05_15-PM-08_02_58
Last ObjectModification: 2015_09_23-AM-08_20_44

Theory : bags_2


Home Index