`BookProof.NavierStokesFlow.FockLagrangian.momFock_not_bounded` : ¬ ∃ C : ℝ, ∀ v : momFock.core, ‖((momFock.data.hFull v : momFock.core) : Lp ℂ 2 fockR)‖ ≤ C * ‖((v : momFock.core)

Initializing...

`BookProof.NavierStokesFlow.FockLagrangian.momFock_not_bounded` : ¬ ∃ C : ℝ, ∀ v : momFock.core, ‖((momFock.data.hFull v : momFock.core) : Lp ℂ 2 fockR)‖ ≤ C * ‖((v : momFock.core) · Prove2Me