`BookProof.ScalaronHermiteEsa.potCore_essentiallySelfAdjoint` {W : Vd d → ℝ} (hWc : Continuous W) (hWb : ExpBounded W) : EssentiallySelfAdjointOn (polyGaussCore (d := d)) (potCore

Initializing...

`BookProof.ScalaronHermiteEsa.potCore_essentiallySelfAdjoint` {W : Vd d → ℝ} (hWc : Continuous W) (hWb : ExpBounded W) : EssentiallySelfAdjointOn (polyGaussCore (d := d)) (potCore · Prove2Me