Loading paper
Formal splitting and stack-theoretic normal crossings desingularization | Tomesphere