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