Irreducible components of the eigencurve of finite degree are finite over the weight space

From MaRDI portal
Publication:2187308