Diagonalisation of the Bell-CHSH operator.

From MaRDI portal