Nuprl Definition : bag-remove-repeats

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


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


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

Theory : bags_2


Home Index