`BookProof.NavierStokesFlow.FullEsa.diagFull_not_bounded` : ¬ ∃ C : ℝ, ∀ f : diagUnboundedData.D, ‖diagUnboundedData.hamiltonian f‖ ≤ C * ‖f‖

Initializing...

`BookProof.NavierStokesFlow.FullEsa.diagFull_not_bounded` : ¬ ∃ C : ℝ, ∀ f : diagUnboundedData.D, ‖diagUnboundedData.hamiltonian f‖ ≤ C * ‖f‖ · Prove2Me