Lemma 8.6 (0MJ7)
ScalingStacks, Lemma 8.6 (0MJ7). Permanent URL: /tag/0MJ7. Source: 1112.0040v6
Clark Barwick, Christopher Schommer-Pries
Original source: arXiv:1112.0040v6