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