Loading paper
Functorial flatification of proper morphisms | Tomesphere