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

Initializing...

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