OAI/Probability/SLE/Gauge/SerpentineExponentialMass.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The concrete stopped dense experiment costs at most exponentially in m²; the constants are independent of the marked point and mesh.

  1. theorem OAI.SLEExactGauge.Serpentine.uniform_serpentine_exponential_stopped_mass line 16