Towards a symplectic version of the Chevalley restriction theorem

Werkzeuge