`BookProof.NavierStokesFlow.FullEsa.latticeFull_hasZeroDeficiencyOn` (v : Fin 15 → LinfZ) (nu : ℝ) : HasZeroDeficiencyOn (latticeFullData v nu).D (latticeFullData v nu).hamiltonian

Initializing...

`BookProof.NavierStokesFlow.FullEsa.latticeFull_hasZeroDeficiencyOn` (v : Fin 15 → LinfZ) (nu : ℝ) : HasZeroDeficiencyOn (latticeFullData v nu).D (latticeFullData v nu).hamiltonian · Prove2Me