Loading paper
A circle quotient of a $G_2$ cone | Tomesphere