TY - RPRT TI - On the semi-simplicity of the $U_p$-operator on modular forms AU - Robert F. Coleman AU - Bas Edixhoven PY - 1996 UR - https://arxiv.org/abs/alg-geom/9611013 ID - alg-geom/9611013 ER -