`BookProof.NavierStokesFlow.FullEsa.hasZeroDeficiencyOn_of_boundedRealization` {D : Submodule ℂ F} (H : D →ₗ[ℂ] D) (A : F →L[ℂ] F) (hsym : (A : F →ₗ[ℂ] F).IsSymmetric) (hdense : De

Initializing...

`BookProof.NavierStokesFlow.FullEsa.hasZeroDeficiencyOn_of_boundedRealization` {D : Submodule ℂ F} (H : D →ₗ[ℂ] D) (A : F →L[ℂ] F) (hsym : (A : F →ₗ[ℂ] F).IsSymmetric) (hdense : De · Prove2Me