The amalgamated graph conjecture for representing graphs of graphs
Amalgamated graph conjecture. The right-hand side of this equality is nonnegative.
MathDB