`BookProof.NavierStokesFlow.FullEsa.latticeFullHamiltonianCLM_isSelfAdjoint` (v : Fin 15 → LinfZ) (nu : ℝ) : IsSelfAdjoint (latticeFullHamiltonianCLM v nu)

Initializing...

`BookProof.NavierStokesFlow.FullEsa.latticeFullHamiltonianCLM_isSelfAdjoint` (v : Fin 15 → LinfZ) (nu : ℝ) : IsSelfAdjoint (latticeFullHamiltonianCLM v nu) · Prove2Me