Mickey Mouse Sphere Theorem
The Mickey mouse theorem assures that a connected positive curvature graph of positive dimension is a sphere.
Tag: Curvature
Gauss-Bonnet for the f-function
The f-function of a graph minus 1 is the sum of the antiderivatives of the f-function anti-derivatives evaluated on the unit spheres.