OAI/Probability/SLE/Geometry/GreenCompactDecay.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Spatially tested Green decay on interior compacts. This is the input for exhaustion of the canonical terminal measure by finite times.

  1. lemma OAI.SLEExactGauge.Multipoint.halfPlaneGreenMeasure_mean_apply line 18
  2. theorem OAI.SLEExactGauge.Multipoint.halfPlaneGreenMeasure_compact_mean_tendsto_zero line 41