Loading paper
Polynomial factorization over henselian fields | Tomesphere