Loading paper
Quantitative level lowering for weight two Hilbert modular forms | Tomesphere