Corollary 8.8 (0MJB)
ScalingStacks, Corollary 8.8 (0MJB). Permanent URL: /tag/0MJB. Source: 1112.0040v6
Clark Barwick, Christopher Schommer-Pries
Original source: arXiv:1112.0040v6