`BookProof.NavierStokesFlow.FockLagrangian.bigState_mem_core` {K : ℝ} (hK : 0 ≤ K) : bigState K ∈ momFock.core

Initializing...

`BookProof.NavierStokesFlow.FockLagrangian.bigState_mem_core` {K : ℝ} (hK : 0 ≤ K) : bigState K ∈ momFock.core · Prove2Me