ScalingStacks

Lemma 7.3.17. Assume $f$ is the quotient map of $Z$ by a finite relation. Every non-constant admissible path in $Z^{\prime}$ lifts uniquely to a path in $Z$ and that lift is admissible.