Loading paper
Intermediate curvature and splitting theorem | Tomesphere