mathlib3
feat(finsupp): move convolution product to type wrapper `add_monoid_algebra`.
#2135
Merged
Merged