Product Formula For Curvature
The Curvature of graphs multplies under the Shannon product (strong product).
The Curvature of graphs multplies under the Shannon product (strong product).
The Mickey mouse theorem assures that a connected positive curvature graph of positive dimension is a sphere.
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.