`BookProof.TwoParticleSector.symmetricOn_bosonic` (hA : SymmetricOn D₂ A) : SymmetricOn (redDom (bosonicProj Hs) (sectorDom Hs D₂ 2)) (redOp (sectorOp Hs D₂ A 2) (isReducingProject

Initializing...

`BookProof.TwoParticleSector.symmetricOn_bosonic` (hA : SymmetricOn D₂ A) : SymmetricOn (redDom (bosonicProj Hs) (sectorDom Hs D₂ 2)) (redOp (sectorOp Hs D₂ A 2) (isReducingProject · Prove2Me