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