OAI.StrictHotSpots.Conformal.ClosedDiskChart.lipschitzMultipliedGradient_nonneg: intermediate lemma from OpenAI, The hot spots conjecture for simply connected planar domains

Initializing...

OAI.StrictHotSpots.Conformal.ClosedDiskChart.lipschitzMultipliedGradient_nonneg: intermediate lemma from OpenAI, The hot spots conjecture for simply connected planar domains · Prove2Me