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