`BookProof.NavierStokesEulerian.derivativeField_second` (uD : Fin 3 → Fin 3 → (Fin 3 → ℝ) → ℝ) (uDD : Fin 3 → Fin 3 → Fin 3 → (Fin 3 → ℝ) → ℝ) (M : Fin 3 → Fin 3 →...

Initializing...

`BookProof.NavierStokesEulerian.derivativeField_second` (uD : Fin 3 → Fin 3 → (Fin 3 → ℝ) → ℝ) (uDD : Fin 3 → Fin 3 → Fin 3 → (Fin 3 → ℝ) → ℝ) (M : Fin 3 → Fin 3 →... · Prove2Me