Loading paper
Kida's formula via Selmer complexes | Tomesphere