Nuprl Definition : bag-count

(#x in bs) ==  count(eq x;bs)


Definitions occuring in Statement :  count: count(P;L),  apply: f a
Definitions occuring in definition :  count: count(P;L),  apply: f a
FDL editor aliases :  bag-count
Latex:
(\#x  in  bs)  ==    count(eq  x;bs)


Date html generated: 2016_05_15-PM-07_57_48
Last ObjectModification: 2015_09_23-AM-08_20_41

Theory : bags_2


Home Index