Loading paper
The root closure of a ring of mixed characteristic | Tomesphere