`BookProof.HermiteStrichartzQG.qg3D_not_bounded` : ¬ ∃ C : ℝ, ∀ f : hermiteCore, ‖qg3DHermiteHamiltonian (fun k _ => (k : ℝ)) 0 0 f‖ ≤ C * ‖(f : L2R)‖

Initializing...

`BookProof.HermiteStrichartzQG.qg3D_not_bounded` : ¬ ∃ C : ℝ, ∀ f : hermiteCore, ‖qg3DHermiteHamiltonian (fun k _ => (k : ℝ)) 0 0 f‖ ≤ C * ‖(f : L2R)‖ · Prove2Me