Theorem 4.1.1 (0LG9)
ScalingStacks, Theorem 4.1.1 (0LG9). Permanent URL: /tag/0LG9. Source: 1009.5025v3
Scott Morrison, Kevin Walker
Original source: arXiv:1009.5025v3