`BookProof.NavierStokesEulerian.u_evaluates_to_value` {E : Type*} [AddCommGroup E] [Module ℂ E] {ι : Type*} [Fintype ι] (u : Fin 3 → E →ₗ[ℂ] E) (uD : Fin 3 → ι → E →ₗ[ℂ] E)...

Initializing...

`BookProof.NavierStokesEulerian.u_evaluates_to_value` {E : Type*} [AddCommGroup E] [Module ℂ E] {ι : Type*} [Fintype ι] (u : Fin 3 → E →ₗ[ℂ] E) (uD : Fin 3 → ι → E →ₗ[ℂ] E)... · Prove2Me