Lemma 10.1 (0M0J)
ScalingStacks, Lemma 10.1 (0M0J). Permanent URL: /tag/0M0J. Source: 2009.02428v5
Hadrian Heine
Original source: arXiv:2009.02428v5