OAI.PlanarFPP.exponential_goodSite_path_probability_zero: intermediate lemma from OpenAI, Strict convexity and differentiability of the planar exponential first-passage limit shape

Initializing...

OAI.PlanarFPP.exponential_goodSite_path_probability_zero: intermediate lemma from OpenAI, Strict convexity and differentiability of the planar exponential first-passage limit shape · Prove2Me