Prefer a chat interface with context about you and your work?
The Coleman–Mazur eigencurve is proper at integral weights
The Coleman-Mazur eigencurve is proper at integral weights