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