Loading paper
A bound to kill the ramification over function fields | Tomesphere