Lemma 5.2 (0HZ7)
ScalingStacks, Lemma 5.2 (0HZ7). Permanent URL: /tag/0HZ7. Source: 1502.06526v3
Theo Johnson-Freyd, Claudia Scheimbauer
Original source: arXiv:1502.06526v3