`BookProof.BrstLeakage.leakageIter_succ` (B : ℕ → E →L[ℂ] E) (τ : ℝ) (x : E) (n : ℕ) : leakageIter B τ x (n + 1) = flow (B n) τ (leakageIter B τ x n)

Initializing...

`BookProof.BrstLeakage.leakageIter_succ` (B : ℕ → E →L[ℂ] E) (τ : ℝ) (x : E) (n : ℕ) : leakageIter B τ x (n + 1) = flow (B n) τ (leakageIter B τ x n) · Prove2Me