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