Loading paper
Equivalences for weak crossed products | Tomesphere