`BookProof.NavierStokesFlow.MomentumPerturbation.pertHam_not_bounded` : ¬ ∃ C : ℝ, ∀ x : maxDom linSymbol, ‖pertHam linSymbol (eState 0) (eState 1) x‖ ≤ C * ‖(x : L2I ℕ)‖

Initializing...

`BookProof.NavierStokesFlow.MomentumPerturbation.pertHam_not_bounded` : ¬ ∃ C : ℝ, ∀ x : maxDom linSymbol, ‖pertHam linSymbol (eState 0) (eState 1) x‖ ≤ C * ‖(x : L2I ℕ)‖ · Prove2Me