Loading paper
Finite group actions on Kan complexes | Tomesphere