Theorem convolution_eq_swap

Modification history