mathlib3

b1af1402 - style(data/list/basic): clean up count_bag_inter