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