`BookProof.NavierStokesFlow.DiagonalEsa.diagOp_basis` (c : ℕ → ℝ) (n : ℕ) : diagOp c (basis n) = ((c n : ℂ)) • basis n

Initializing...

`BookProof.NavierStokesFlow.DiagonalEsa.diagOp_basis` (c : ℕ → ℝ) (n : ℕ) : diagOp c (basis n) = ((c n : ℂ)) • basis n · Prove2Me