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

Initializing...

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