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