Loading paper
On the Lefschetz trace formula for Lubin-Tate spaces | Tomesphere