Theorem zero_convolution

Modification history