Loading paper
A groupoid approach to transitive differential geometry | Tomesphere