`BookProof.NavierStokesFlow.Carleman.summable_mul_shift` (w : L2N) : Summable fun n : ℕ => ‖(w : ℕ → ℂ) n‖ * ‖(w : ℕ → ℂ) (n + 1)‖

Initializing...

`BookProof.NavierStokesFlow.Carleman.summable_mul_shift` (w : L2N) : Summable fun n : ℕ => ‖(w : ℕ → ℂ) n‖ * ‖(w : ℕ → ℂ) (n + 1)‖ · Prove2Me