`BookProof.ChapterH3.duhamel_scalar_smul` (z g : ℂ) (δ : ℝ) : (∫ s in (0:ℝ)..δ, Complex.exp ((↑(δ - s)) * z) * g) = δ * BookProof.ChapterH1.phi 1 (δ * z) * g

Initializing...

`BookProof.ChapterH3.duhamel_scalar_smul` (z g : ℂ) (δ : ℝ) : (∫ s in (0:ℝ)..δ, Complex.exp ((↑(δ - s)) * z) * g) = δ * BookProof.ChapterH1.phi 1 (δ * z) * g · Prove2Me