Loading paper
Appendix to Discrete localities II: p-local compact groups as localities | Tomesphere