`BookProof.QgOuterFockInteractionFL.QgFamily.secHam_essentiallySelfAdjointOn` (n : ℕ) : EssentiallySelfAdjointOn (polyGaussCore (d := n * 84)) (F.secHam n)

Initializing...

`BookProof.QgOuterFockInteractionFL.QgFamily.secHam_essentiallySelfAdjointOn` (n : ℕ) : EssentiallySelfAdjointOn (polyGaussCore (d := n * 84)) (F.secHam n) · Prove2Me