`BookProof.BrstLeakage.hasDerivAt_duhamel` (X Y : E →L[ℂ] E) (t s : ℝ) (x : E) : HasDerivAt (fun u : ℝ => (exp ((t - u) • X)) ((exp (u • Y)) x)) ((exp ((t - s) • X)) ((Y

Initializing...

`BookProof.BrstLeakage.hasDerivAt_duhamel` (X Y : E →L[ℂ] E) (t s : ℝ) (x : E) : HasDerivAt (fun u : ℝ => (exp ((t - u) • X)) ((exp (u • Y)) x)) ((exp ((t - s) • X)) ((Y - X) ((exp · Prove2Me