Lemma 3.2.2 (0EQ6)
ScalingStacks, Lemma 3.2.2 (0EQ6). Permanent URL: /tag/0EQ6. Source: 2104.04021v2
Aaron Mazel-Gee, Reuben Stern
Original source: arXiv:2104.04021v2