`BookProof.NavierStokesFlow.FullEsa.NSFullData.hasZeroDeficiencyOn_of_boundedRealization` (A : F →L[ℂ] F) (hsym : (A : F →ₗ[ℂ] F).IsSymmetric) (hHA : ∀ x : d.D, (d.hamiltonian x :

Initializing...

`BookProof.NavierStokesFlow.FullEsa.NSFullData.hasZeroDeficiencyOn_of_boundedRealization` (A : F →L[ℂ] F) (hsym : (A : F →ₗ[ℂ] F).IsSymmetric) (hHA : ∀ x : d.D, (d.hamiltonian x : · Prove2Me