is a strong deformation retraction onto the non-archimedean skeleton of \(\vert \mathcal {X}^{\beth } \vert \) , see [1]}, [2]}, and [3]}, as well as [4]} for a generalization to toroidal Artin stacks.

