`BookProof.BrstUnboundedLeakage.flow_apply_flow` (B : H →L[ℂ] H) (s u : ℝ) (x : H) : flow B u (flow B s x) = flow B (u + s) x

Initializing...

`BookProof.BrstUnboundedLeakage.flow_apply_flow` (B : H →L[ℂ] H) (s u : ℝ) (x : H) : flow B u (flow B s x) = flow B (u + s) x · Prove2Me