`BookProof.TwoParticleSector.isReducingProjection_bosonicProj` : IsReducingProjection (bosonicProj Hs)

Initializing...

`BookProof.TwoParticleSector.isReducingProjection_bosonicProj` : IsReducingProjection (bosonicProj Hs) · Prove2Me