Commit 2024-02-17 18:52 5e53cc19
View on Github →Convolution of measures (#9372) Add definition of convolution of measures on monoids. Add commutativity of convolution if the monoid is commutative. Add convolution of measures is finite if both measures are finite.