`BookProof.NavierStokesFlow.FockOfFock.intervalTwoLevelSymbol_eq` (eps : K → ℝ) : intervalTwoLevelSymbol eps = symbolOfIntegral volume extField parcelDens + innerEnergySymbol eps

Initializing...

`BookProof.NavierStokesFlow.FockOfFock.intervalTwoLevelSymbol_eq` (eps : K → ℝ) : intervalTwoLevelSymbol eps = symbolOfIntegral volume extField parcelDens + innerEnergySymbol eps · Prove2Me