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

Initializing...

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