`BookProof.ScalarDGamma.essentiallySelfAdjointOn_fockSectorDom_scalar` (n : ℕ) : EssentiallySelfAdjointOn (fockSectorDom Hs ⊤ n) (fockSectorOp Hs ⊤ (scalarOp Hs c) n)

Initializing...

`BookProof.ScalarDGamma.essentiallySelfAdjointOn_fockSectorDom_scalar` (n : ℕ) : EssentiallySelfAdjointOn (fockSectorDom Hs ⊤ n) (fockSectorOp Hs ⊤ (scalarOp Hs c) n) · Prove2Me