`BookProof.TwoParticleSector.isReducingProjection_fermionicProj` : IsReducingProjection (fermionicProj Hs)

Initializing...

`BookProof.TwoParticleSector.isReducingProjection_fermionicProj` : IsReducingProjection (fermionicProj Hs) · Prove2Me