Loading paper
Defining newforms in characteristic $p$ | Tomesphere