Theorem convolution_flip

Modification history