Library
Auto-correlation functions of Sato–Tate distributions and identities of symplectic characters