OAI/Probability/SLE/SmallKappaSausageMoments.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

Small Kappa Sausage Moments for chordal SLE.

  1. lemma OAI.SLEExactGauge.RegularSLEPresentation.source_initial_unit_mesh_tail_small line 46
  2. lemma OAI.SLEExactGauge.RegularSLEPresentation.source_unit_mesh_second_moment_small line 83
  3. lemma OAI.SLEExactGauge.source_retained_seed_all line 119
  4. theorem OAI.SLEExactGauge.RegularSLEPresentation.source_localized_spatial_slab_past_exponential line 157
  5. lemma OAI.SLEExactGauge.source_past_exponential_fatou line 302
  6. theorem OAI.SLEExactGauge.RegularSLEPresentation.source_past_spatial_slab_finite_exponential_of_localizations line 342
  7. theorem OAI.SLEExactGauge.RegularSLEPresentation.source_past_spatial_slab_finite_exponential line 414
  8. lemma OAI.SLEExactGauge.RegularSLEPresentation.source_past_spatial_slab_terminal_exponential line 491
  9. lemma OAI.SLEExactGauge.source_infinite_stopping_grid_piece line 554
  10. lemma OAI.SLEExactGauge.source_between_stopping_tail line 585
  11. lemma OAI.SLEExactGauge.RegularSLEPresentation.source_simple_sphere_stopping line 663
  12. lemma OAI.SLEExactGauge.RegularSLEPresentation.source_simple_center_before line 672
  13. lemma OAI.SLEExactGauge.RegularSLEPresentation.source_simple_spheres_separated line 688
  14. lemma OAI.SLEExactGauge.RegularSLEPresentation.source_simple_weight_zero_no_entrance line 701
  15. theorem OAI.SLEExactGauge.RegularSLEPresentation.source_past_spatial_slab_subgaussian line 735
  16. theorem OAI.SLEExactGauge.RegularSLEPresentation.source_past_spatial_geometric_subgaussian line 776