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