`BookProof.NavierStokesFlow.FullEsa.NSFullData.hasZeroDeficiencyOn_of_total_eigenvectors` {I : Type*} (e : I → d.D) (lam : I → ℝ) (heig : ∀ i, d.hamiltonian (e i) = ((lam i : ℂ)) •

Initializing...

`BookProof.NavierStokesFlow.FullEsa.NSFullData.hasZeroDeficiencyOn_of_total_eigenvectors` {I : Type*} (e : I → d.D) (lam : I → ℝ) (heig : ∀ i, d.hamiltonian (e i) = ((lam i : ℂ)) • · Prove2Me