`BookProof.SecondQuantizationCore.dGamma_essentiallySelfAdjointOn_fockCore` (hcore : IsGraphCore D A) (hsector : ∀ n : ℕ, EssentiallySelfAdjointOn (fockSectorDom Hs D₂ n) (fockSect

Initializing...

`BookProof.SecondQuantizationCore.dGamma_essentiallySelfAdjointOn_fockCore` (hcore : IsGraphCore D A) (hsector : ∀ n : ℕ, EssentiallySelfAdjointOn (fockSectorDom Hs D₂ n) (fockSect · Prove2Me