Loading paper
Reduction of symplectic principal $\mathbb{R}$-bundles | Tomesphere