`BookProof.NavierStokesFlow.FockLagrangian.fockMeasure_tailStep_pos` (k : ℕ) : 0 < fockR (tailStep k)

Initializing...

`BookProof.NavierStokesFlow.FockLagrangian.fockMeasure_tailStep_pos` (k : ℕ) : 0 < fockR (tailStep k) · Prove2Me