`BookProof.HermiteStrichartzQG.qgMode_essentiallySelfAdjoint_on_hermiteCore` (a b V : ℕ → ℝ) : EssentiallySelfAdjointOn hermiteCore (hermiteCoreOp (qgModeSymbol a b V))

Initializing...

`BookProof.HermiteStrichartzQG.qgMode_essentiallySelfAdjoint_on_hermiteCore` (a b V : ℕ → ℝ) : EssentiallySelfAdjointOn hermiteCore (hermiteCoreOp (qgModeSymbol a b V)) · Prove2Me