Loading paper
Finite length for unramified $\mathrm{GL}_2$ | Tomesphere