`BookProof.NavierStokesFlow.FockLagrangian.bigState_symbol_ge` {K : ℝ} (hK : 1 ≤ K) : ∀ᵐ x ∂fockR, ((bigState K : Lp ℂ 2 fockR) : ParcelConf ℝ → ℂ) x ≠ 0 → K ≤...

Initializing...

`BookProof.NavierStokesFlow.FockLagrangian.bigState_symbol_ge` {K : ℝ} (hK : 1 ≤ K) : ∀ᵐ x ∂fockR, ((bigState K : Lp ℂ 2 fockR) : ParcelConf ℝ → ℂ) x ≠ 0 → K ≤... · Prove2Me