Lemma 2.2 (0IJ5)
ScalingStacks, Lemma 2.2 (0IJ5). Permanent URL: /tag/0IJ5. Source: 2111.10203v2
Shay Ben-Moshe, Tomer M. Schlank
Original source: arXiv:2111.10203v2