Theorem convolution_precompR_apply

Modification history