`BookProof.NavierStokesFlow.FockOfFock.dGamma_not_bounded` (ω : M → ℝ) (hω : ∀ C : ℝ, ∃ m, C < |ω m|) : ¬ ∃ C : ℝ, ∀ f : FockDom M, ‖dGamma ω f‖ ≤ C * ‖f‖

Initializing...

`BookProof.NavierStokesFlow.FockOfFock.dGamma_not_bounded` (ω : M → ℝ) (hω : ∀ C : ℝ, ∃ m, C < |ω m|) : ¬ ∃ C : ℝ, ∀ f : FockDom M, ‖dGamma ω f‖ ≤ C * ‖f‖ · Prove2Me