Loading paper
Valdivia compact groups are products | Tomesphere