ScalingStacks

Definition 7.2.9. Given $Z$ a curve, the non-singular cover of $Z$ is a non-singular curve $\hat{Z}$, together with a finite relation $\sim$ and an isomorphism $\hat{Z}/\!\!\sim\ \mathrel{\mathop{\kern 0.0pt\to}\limits^{\sim}}Z$.