P
Initializing...
The finite convolution of the factor densities over any finite sets of types `W j` containing the supports of the laws `Dl j` is the density of the product law. · Prove2Me