`BookProof.NavierStokesFlow.FullEsa.latticeFullHamiltonianCLM_isSymmetric` (v : Fin 15 → LinfZ) (nu : ℝ) : ((latticeFullHamiltonianCLM v nu : L2Z →L[ℂ] L2Z) : L2Z →ₗ[ℂ] L2Z).IsSymm

Initializing...

`BookProof.NavierStokesFlow.FullEsa.latticeFullHamiltonianCLM_isSymmetric` (v : Fin 15 → LinfZ) (nu : ℝ) : ((latticeFullHamiltonianCLM v nu : L2Z →L[ℂ] L2Z) : L2Z →ₗ[ℂ] L2Z).IsSymm · Prove2Me