Lemma 7.1.3 (00DP)
ScalingStacks, Lemma 7.1.3 (00DP). Permanent URL: /tag/00DP. Source: 2401.02956v2
Yu Leon Liu, Aaron Mazel-Gee, David Reutter, Catharina Stroppel, Paul Wedrich
Original source: arXiv:2401.02956v2