Loading paper
$\infty$-Dold-Kan correspondence via representation theory | Tomesphere