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