Theorem convolution_mul

Modification history