Lemma 8.16 (0LZ3)
ScalingStacks, Lemma 8.16 (0LZ3). Permanent URL: /tag/0LZ3. Source: 2009.02428v5
Hadrian Heine
Original source: arXiv:2009.02428v5