I am reading a paper that states the following without reference:
The modular curve $X_0(\mathcal{l})/p$, $l \neq p$ has genus $[\mathcal{l}/12]$.
Does anyone know where this comes from? I am finding a ton of references that study the genus of the modular curve before reduction but nothing similar to what I am seeing here.