Loading paper
A curvature bound from gravitational catalysis | Tomesphere