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