Lemma 8.22 (06D7)
ScalingStacks, Lemma 8.22 (06D7). Permanent URL: /tag/06D7. Source: 1801.00191v1
Elias, Ben, Hogancamp, Matthew
Original source: arXiv:1801.00191v1