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