`BookProof.BrstUnboundedLeakage.hasDerivAt_flow` (B : H →L[ℂ] H) (x : H) (u : ℝ) : HasDerivAt (fun v : ℝ => flow B v x) ((-Complex.I) • B (flow B u x)) u

Initializing...

`BookProof.BrstUnboundedLeakage.hasDerivAt_flow` (B : H →L[ℂ] H) (x : H) (u : ℝ) : HasDerivAt (fun v : ℝ => flow B v x) ((-Complex.I) • B (flow B u x)) u · Prove2Me