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