`BookProof.SecondQuantizationCore.essentiallySelfAdjointOn_fockSectorCore` (hcore : IsGraphCore D A) (n : ℕ) (hesa : EssentiallySelfAdjointOn (fockSectorDom Hs D₂ n) (fockSectorOp

Initializing...

`BookProof.SecondQuantizationCore.essentiallySelfAdjointOn_fockSectorCore` (hcore : IsGraphCore D A) (n : ℕ) (hesa : EssentiallySelfAdjointOn (fockSectorDom Hs D₂ n) (fockSectorOp · Prove2Me