Remark 3.8 (0LPP)
ScalingStacks, Remark 3.8 (0LPP). Permanent URL: /tag/0LPP. Source: 2009.02428v5
Hadrian Heine
Original source: arXiv:2009.02428v5