Loading paper
Height reduction for local uniformization of varieties and non-archimedean spaces | Tomesphere