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