`BookProof.BrstUnboundedLeakage.hasDerivAt_duhamel_stone` (B : H →L[ℂ] H) (t : ℝ) (x : H) (hdom : ∀ s : ℝ, flow B s x ∈ T.domain) (s : ℝ) : HasDerivAt (fun u : ℝ => T.stoneU (t

Initializing...

`BookProof.BrstUnboundedLeakage.hasDerivAt_duhamel_stone` (B : H →L[ℂ] H) (t : ℝ) (x : H) (hdom : ∀ s : ℝ, flow B s x ∈ T.domain) (s : ℝ) : HasDerivAt (fun u : ℝ => T.stoneU (t - u · Prove2Me