`BookProof.NavierStokesFlow.Carleman.weyl_momOp_diagOp` (a : ℕ → ℝ) : momOp.comp (diagOp a) + (diagOp a).comp momOp = tridiagOp (nsCoupling a)

Initializing...

`BookProof.NavierStokesFlow.Carleman.weyl_momOp_diagOp` (a : ℕ → ℝ) : momOp.comp (diagOp a) + (diagOp a).comp momOp = tridiagOp (nsCoupling a) · Prove2Me