Lemma 6.1.17 (0LH7)
ScalingStacks, Lemma 6.1.17 (0LH7). Permanent URL: /tag/0LH7. Source: 1009.5025v3
Scott Morrison, Kevin Walker
Original source: arXiv:1009.5025v3