`BookProof.NavierStokesFlow.Carleman.tridiagOp_add` (c c' : ℕ → ℂ) : tridiagOp c + tridiagOp c' = tridiagOp (fun n => c n + c' n)

Initializing...

`BookProof.NavierStokesFlow.Carleman.tridiagOp_add` (c c' : ℕ → ℂ) : tridiagOp c + tridiagOp c' = tridiagOp (fun n => c n + c' n) · Prove2Me