Theorem smul_convolution

Modification history