`BookProof.ShiftedQuadratic.shiftedHOp_essentiallySelfAdjoint` (c b b' : Fin d → ℝ) (hc : ∀ i, c i ≠ 0) : EssentiallySelfAdjointOn (polyGaussCoreT (shiftVec c b) (boostVec c b')) (

Initializing...

`BookProof.ShiftedQuadratic.shiftedHOp_essentiallySelfAdjoint` (c b b' : Fin d → ℝ) (hc : ∀ i, c i ≠ 0) : EssentiallySelfAdjointOn (polyGaussCoreT (shiftVec c b) (boostVec c b')) ( · Prove2Me