Loading paper
The Dold-Kan theorem for paracyclic modules | Tomesphere