Loading paper
Lie properties of crossed products | Tomesphere