`BookProof.NavierStokesFlow.Carleman.linearFull_not_bounded` : ¬ ∃ C : ℝ, ∀ f : linearFullData.D, ‖linearFullData.hamiltonian f‖ ≤ C * ‖f‖

Initializing...

`BookProof.NavierStokesFlow.Carleman.linearFull_not_bounded` : ¬ ∃ C : ℝ, ∀ f : linearFullData.D, ‖linearFullData.hamiltonian f‖ ≤ C * ‖f‖ · Prove2Me