`BookProof.NavierStokesFlow.Carleman.norm_nsCoupling_linear` (n : ℕ) : ‖nsCoupling (fun m : ℕ => (m : ℝ) + 1) n‖ = ((n : ℝ) + 3 / 2)

Initializing...

`BookProof.NavierStokesFlow.Carleman.norm_nsCoupling_linear` (n : ℕ) : ‖nsCoupling (fun m : ℕ => (m : ℝ) + 1) n‖ = ((n : ℝ) + 3 / 2) · Prove2Me