Lemma 3.6 (09NK)
ScalingStacks, Lemma 3.6 (09NK). Permanent URL: /tag/09NK. Source: 1305.4550v1
David Gepner, Moritz Groth, Thomas Nikolaus
Original source: arXiv:1305.4550v1