`BookProof.NavierStokesFlow.LagrangianEsa.diagLagData_hFull` (p q dr : Fin 3 → ℕ → ℝ) (c : ℕ → ℝ) (fr : Fin 3 → ℝ) {nu : ℝ} (hnu : 0 ≤ nu) : HasZeroDeficiencyOn (diagLagData...

Initializing...

`BookProof.NavierStokesFlow.LagrangianEsa.diagLagData_hFull` (p q dr : Fin 3 → ℕ → ℝ) (c : ℕ → ℝ) (fr : Fin 3 → ℝ) {nu : ℝ} (hnu : 0 ≤ nu) : HasZeroDeficiencyOn (diagLagData... · Prove2Me