Eichler-Shimura isomorphism