Loading paper
The diagonal $p$-permutation functor $kR_k$ | Tomesphere