`BookProof.FullQuadratic.fqOp_essentiallySelfAdjoint` (P Q S : Fin d → Fin d → ℝ) (b b' : Fin d → ℝ) : EssentiallySelfAdjointOn (polyGaussCore (d := d)) (fqOp P Q S b b')

Initializing...

`BookProof.FullQuadratic.fqOp_essentiallySelfAdjoint` (P Q S : Fin d → Fin d → ℝ) (b b' : Fin d → ℝ) : EssentiallySelfAdjointOn (polyGaussCore (d := d)) (fqOp P Q S b b') · Prove2Me