`BookProof.NavierStokesEulerian.derivativeField_relates_to_field` (u : (Fin 3 → ℝ) → Fin 3 → ℝ) (uD : Fin 3 → Fin 3 → (Fin 3 → ℝ) → ℝ) (L : Fin 3 → (Fin 3 → ℝ) →...

Initializing...

`BookProof.NavierStokesEulerian.derivativeField_relates_to_field` (u : (Fin 3 → ℝ) → Fin 3 → ℝ) (uD : Fin 3 → Fin 3 → (Fin 3 → ℝ) → ℝ) (L : Fin 3 → (Fin 3 → ℝ) →... · Prove2Me