Theorem convolution_eq_right'

Modification history