OAI/Probability/SLE/Stochastic/GaussianTaylorMean.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A scalar Gaussian Taylor estimate with finite derivative bounds for the planar Brownian harmonic-mean argument.

  1. lemma OAI.SLEExactGauge.gaussian_second_taylor_integral line 13