P
Initializing...
Log-convexity of the mixed integral along a denominator ray · Prove2Me