`BookProof.YangMillsAbelianEsa.ymAbelian_essentiallySelfAdjointOn_core` : EssentiallySelfAdjointOn (polyGaussCore (d := 99)) (ymHamiltonian (coreRepPoly 99) 0)

Initializing...

`BookProof.YangMillsAbelianEsa.ymAbelian_essentiallySelfAdjointOn_core` : EssentiallySelfAdjointOn (polyGaussCore (d := 99)) (ymHamiltonian (coreRepPoly 99) 0) · Prove2Me