`BookProof.NavierStokesFlow.LagrangianEsa.latticeLag_hFull_ne_zero` : (latticeLagData (fun _ => zeroField) zeroField (fun _ => 0) (le_refl (0 : ℝ))).hFull ≠ 0

Initializing...

`BookProof.NavierStokesFlow.LagrangianEsa.latticeLag_hFull_ne_zero` : (latticeLagData (fun _ => zeroField) zeroField (fun _ => 0) (le_refl (0 : ℝ))).hFull ≠ 0 · Prove2Me