`BookProof.NavierStokesFlow.FockOfFock.intervalTwoLevel_not_bounded` (eps : K → ℝ) : ¬ ∃ C : ℝ, ∀ f : FockOfFockDom ℕ K, ‖dGamma (intervalTwoLevelSymbol eps) f‖ ≤ C * ‖f‖

Initializing...

`BookProof.NavierStokesFlow.FockOfFock.intervalTwoLevel_not_bounded` (eps : K → ℝ) : ¬ ∃ C : ℝ, ∀ f : FockOfFockDom ℕ K, ‖dGamma (intervalTwoLevelSymbol eps) f‖ ≤ C * ‖f‖ · Prove2Me