Lemma 3.9 (0IB8)
ScalingStacks, Lemma 3.9 (0IB8). Permanent URL: /tag/0IB8. Source: 2107.08117v1
Matthew Hogancamp, David E. V. Rose, Paul Wedrich
Original source: arXiv:2107.08117v1