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