`BookProof.NavierStokesFlow.FockLagrangian.momFock_vacuum_eigenvector` : ((momFock.data.hFull ⟨vacState, vacState_mem_core⟩ : momFock.core) : Lp ℂ 2 fockR) = 0

Initializing...

`BookProof.NavierStokesFlow.FockLagrangian.momFock_vacuum_eigenvector` : ((momFock.data.hFull ⟨vacState, vacState_mem_core⟩ : momFock.core) : Lp ℂ 2 fockR) = 0 · Prove2Me