`BookProof.NavierStokesFlow.LagrangianEsa.latticeLagData_hFull_apply` (v : Fin 3 → LinfZ) (w : LinfZ) (fr : Fin 3 → ℝ) {nu : ℝ} (hnu : 0 ≤ nu) (x : (latticeLagData v w fr hnu).D) :

Initializing...

`BookProof.NavierStokesFlow.LagrangianEsa.latticeLagData_hFull_apply` (v : Fin 3 → LinfZ) (w : LinfZ) (fr : Fin 3 → ℝ) {nu : ℝ} (hnu : 0 ≤ nu) (x : (latticeLagData v w fr hnu).D) : · Prove2Me