`BookProof.NavierStokesFlow.FockOfFock.intervalSymbol_eq` (j : ℕ) : symbolOfIntegral volume extField intervalDens j = (((j : ℝ) + 1) ^ 3

Initializing...

`BookProof.NavierStokesFlow.FockOfFock.intervalSymbol_eq` (j : ℕ) : symbolOfIntegral volume extField intervalDens j = (((j : ℝ) + 1) ^ 3 - (j : ℝ) ^ 3) / 3 · Prove2Me