`BookProof.NavierStokesFlow.FockLagrangian.vacState_coeFn` : ((vacState : Lp ℂ 2 fockR) : ParcelConf ℝ → ℂ) =ᵐ[fockR] vacSet.indicator (fun _ => (1 : ℂ))

Initializing...

`BookProof.NavierStokesFlow.FockLagrangian.vacState_coeFn` : ((vacState : Lp ℂ 2 fockR) : ParcelConf ℝ → ℂ) =ᵐ[fockR] vacSet.indicator (fun _ => (1 : ℂ)) · Prove2Me