Theorem support_convolution_subset

Modification history