`BookProof.WeylCauchyRiemann.mollify_eq_convolution_right` (F : ℂ → ℂ) (χ : ℂ → ℝ) : mollify F χ = F ⋆[(ContinuousLinearMap.lsmul ℝ ℝ).flip, volume] χ

Initializing...

`BookProof.WeylCauchyRiemann.mollify_eq_convolution_right` (F : ℂ → ℂ) (χ : ℂ → ℝ) : mollify F χ = F ⋆[(ContinuousLinearMap.lsmul ℝ ℝ).flip, volume] χ · Prove2Me