Prefer a chat interface with context about you and your work?
An explicit construction of the K-finite vectors in the discrete series for an isotropic semisimple symmetric space