Theorem ContDiffBump.convolution_eq_right

Modification history