Theorem convolution_mul_swap

Modification history