OAI/Probability/SLE/SimpleTails.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

Simple Tails for chordal SLE.

  1. theorem OAI.SLEExactGauge.RegularSLEPresentation.spatial_slab_subgaussian line 60
  2. lemma OAI.SLEExactGauge.codimension_lt_one line 147
  3. lemma OAI.SLEExactGauge.integrableOn_abs_heightPower line 151
  4. lemma OAI.SLEExactGauge.integrable_height_power_box line 161
  5. lemma OAI.SLEExactGauge.integrable_height_power_ball line 170
  6. lemma OAI.SLEExactGauge.ae_im_ne_zero line 179
  7. lemma OAI.SLEExactGauge.geometric_amplitude_sum line 196
  8. theorem OAI.SLEExactGauge.RegularSLEPresentation.spatial_geometric_subgaussian line 220
  9. lemma OAI.SLEExactGauge.exists_exact_geometric_mesh line 279
  10. lemma OAI.SLEExactGauge.mesh_tail_exponent line 296
  11. def OAI.SLEExactGauge.meshTailAmplitude line 312
  12. lemma OAI.SLEExactGauge.meshTailAmplitude_pos line 315
  13. theorem OAI.SLEExactGauge.RegularSLEPresentation.half_plane_mesh_tail line 329