Loading paper
A central $U(1)$-extension of a double Lie groupoid | Tomesphere