`BookProof.NavierStokesFlow.FullEsa.latticeAdvectionCLM_isSelfAdjoint` (v : Fin 15 → LinfZ) (nu : ℝ) (i : Fin 3) : IsSelfAdjoint (latticeAdvectionCLM v nu i)

Initializing...

`BookProof.NavierStokesFlow.FullEsa.latticeAdvectionCLM_isSelfAdjoint` (v : Fin 15 → LinfZ) (nu : ℝ) (i : Fin 3) : IsSelfAdjoint (latticeAdvectionCLM v nu i) · Prove2Me