Commit 2025-10-30 14:15 e36df9a0
View on Github →feat (Data/Finsupp): define convolution smul for finsupps on formal functions (#28819) This is a generalization of the multiplication action of the ring of Laurent polynomials on the space of formal power series with unbounded pole terms.