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