Loading paper
On the Hasse invariant of Hilbert modular varieties mod $p$ | Tomesphere