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