Proof (0LM0)
ScalingStacks, Proof (0LM0). Permanent URL: /tag/0LM0. Source: 1208.1749v5
David Gepner, Joachim Kock
Original source: arXiv:1208.1749v5