Loading paper
Lifting iterated Frobenius over $W_n(k)$ | Tomesphere