`BookProof.NavierStokesFlow.FockOfFock.intervalTwoLevel_inner_eq_integral` (eps : K → ℝ) (v : FockOfFockDom ℕ K) : (inner ℂ ((v : FockOfFockL2 ℕ K)) ((dGamma (intervalTwoLevelSymbo

Initializing...

`BookProof.NavierStokesFlow.FockOfFock.intervalTwoLevel_inner_eq_integral` (eps : K → ℝ) (v : FockOfFockDom ℕ K) : (inner ℂ ((v : FockOfFockL2 ℕ K)) ((dGamma (intervalTwoLevelSymbo · Prove2Me