`BookProof.SecondQuantizationCore.symmetricOn_dGammaCoreOp` (hA : SymmetricOn D₂ A) : SymmetricOn (dsCore (fun n : ℕ => fockSectorCore Hs D₂ D n)) (dGammaCoreOp Hs D₂ A D)

Initializing...

`BookProof.SecondQuantizationCore.symmetricOn_dGammaCoreOp` (hA : SymmetricOn D₂ A) : SymmetricOn (dsCore (fun n : ℕ => fockSectorCore Hs D₂ D n)) (dGammaCoreOp Hs D₂ A D) · Prove2Me