Lemma 5.6 (0ID8)
ScalingStacks, Lemma 5.6 (0ID8). Permanent URL: /tag/0ID8. Source: 2311.13362v1
Rune Haugseng
Original source: arXiv:2311.13362v1