`BookProof.NavierStokesFlow.FockLagrangian.momFock_no_eigenvector` {lam : ℂ} (hlam : lam ≠ 0) (v : momFock.core) (hv : ((momFock.data.hFull v : momFock.core) : Lp ℂ 2 fockR) = lam

Initializing...

`BookProof.NavierStokesFlow.FockLagrangian.momFock_no_eigenvector` {lam : ℂ} (hlam : lam ≠ 0) (v : momFock.core) (hv : ((momFock.data.hFull v : momFock.core) : Lp ℂ 2 fockR) = lam · Prove2Me