`BookProof.NavierStokesFlow.FullEsa.latticeFullData_hamiltonian_apply` (v : Fin 15 → LinfZ) (nu : ℝ) (x : (latticeFullData v nu).D) : ((latticeFullData v nu).hamiltonian x : L2Z) =

Initializing...

`BookProof.NavierStokesFlow.FullEsa.latticeFullData_hamiltonian_apply` (v : Fin 15 → LinfZ) (nu : ℝ) (x : (latticeFullData v nu).D) : ((latticeFullData v nu).hamiltonian x : L2Z) = · Prove2Me