has_compact_support.has_fderiv_at_convolution_left source