`BookProof.HermiteStrichartzQG.hermiteCoreOp_essentiallySelfAdjoint` (lam : ℕ → ℝ) : EssentiallySelfAdjointOn hermiteCore (hermiteCoreOp lam)

Initializing...

`BookProof.HermiteStrichartzQG.hermiteCoreOp_essentiallySelfAdjoint` (lam : ℕ → ℝ) : EssentiallySelfAdjointOn hermiteCore (hermiteCoreOp lam) · Prove2Me