Lemma 2.4.4 (05XR)
ScalingStacks, Lemma 2.4.4 (05XR). Permanent URL: /tag/05XR. Source: 1808.06006v3
Tomer Schlank, Lior Yanovski
Original source: arXiv:1808.06006v3