Theorem 8.2 (0I0K)
ScalingStacks, Theorem 8.2 (0I0K). Permanent URL: /tag/0I0K. Source: 1502.06526v3
Theo Johnson-Freyd, Claudia Scheimbauer
Original source: arXiv:1502.06526v3