`BookProof.SecondQuantizationCore.symmetricOn_fockSectorOp` (hA : SymmetricOn D₂ A) (n : ℕ) : SymmetricOn (fockSectorDom Hs D₂ n) (fockSectorOp Hs D₂ A n)

Initializing...

`BookProof.SecondQuantizationCore.symmetricOn_fockSectorOp` (hA : SymmetricOn D₂ A) (n : ℕ) : SymmetricOn (fockSectorDom Hs D₂ n) (fockSectorOp Hs D₂ A n) · Prove2Me