`BookProof.HermiteStrichartzQG.qg3D_essentiallySelfAdjoint_on_hermiteCore` (xi : ℕ → Fin 3 → ℝ) (xiY V : ℕ → ℝ) : EssentiallySelfAdjointOn hermiteCore (qg3DHermiteHamiltonian xi xi

Initializing...

`BookProof.HermiteStrichartzQG.qg3D_essentiallySelfAdjoint_on_hermiteCore` (xi : ℕ → Fin 3 → ℝ) (xiY V : ℕ → ℝ) : EssentiallySelfAdjointOn hermiteCore (qg3DHermiteHamiltonian xi xi · Prove2Me