Loading paper
Multiplicative Ehresmann connections for Lie groupoid fibrations | Tomesphere