Lemma 4.20 (0I3M)
ScalingStacks, Lemma 4.20 (0I3M). Permanent URL: /tag/0I3M. Source: 2107.09590v1
Matthew Hogancamp, David E. V. Rose, Paul Wedrich
Original source: arXiv:2107.09590v1