Proof (0IDP)
ScalingStacks, Proof (0IDP). Permanent URL: /tag/0IDP. Source: 2311.13362v1
Rune Haugseng
Original source: arXiv:2311.13362v1