OAI/Probability/SLE/PhysicalMeshPast.lean

GitHub source file

35 declarations, 0 contain sorry, 0 declared as axioms

Physical Mesh Past for chordal SLE.

  1. lemma OAI.SLEExactGauge.source_mesh_shift_integral line 16
  2. lemma OAI.SLEExactGauge.source_mesh_shifted_weighted_tail line 21
  3. lemma OAI.SLEExactGauge.source_mesh_center_before line 39
  4. lemma OAI.SLEExactGauge.source_mesh_center_stopping line 67
  5. lemma OAI.SLEExactGauge.source_mesh_free_im line 80
  6. lemma OAI.SLEExactGauge.source_mesh_free_before_center line 92
  7. lemma OAI.SLEExactGauge.source_past_indicator_at_start line 102
  8. lemma OAI.SLEExactGauge.source_mesh_integrated_step line 129
  9. lemma OAI.SLEExactGauge.source_collar_missed line 172
  10. lemma OAI.SLEExactGauge.source_mesh_bounded_integrable line 193
  11. lemma OAI.SLEExactGauge.source_mesh_shifted_integral_measurable line 211
  12. lemma OAI.SLEExactGauge.source_mesh_shifted_restricted_tail line 223
  13. def OAI.SLEExactGauge.sourceMeshCount line 264
  14. lemma OAI.SLEExactGauge.source_mesh_I_integrable line 267
  15. lemma OAI.SLEExactGauge.source_mesh_integral_recurrences line 280
  16. lemma OAI.SLEExactGauge.source_mesh_step line 363
  17. lemma OAI.SLEExactGauge.source_mesh_power_growth line 466
  18. lemma OAI.SLEExactGauge.source_mesh_scale_cancel line 483
  19. lemma OAI.SLEExactGauge.source_mesh_radius_bound line 490
  20. lemma OAI.SLEExactGauge.source_mesh_alpha line 499
  21. lemma OAI.SLEExactGauge.source_mesh_failure_exponent line 503
  22. lemma OAI.SLEExactGauge.source_mesh_choose_large line 550
  23. lemma OAI.SLEExactGauge.source_mesh_select_start line 558
  24. lemma OAI.SLEExactGauge.source_mesh_height line 575
  25. lemma OAI.SLEExactGauge.source_mesh_count_bound line 583
  26. lemma OAI.SLEExactGauge.source_mesh_grid_exponent line 615
  27. lemma OAI.SLEExactGauge.source_mesh_grid_error line 627
  28. lemma OAI.SLEExactGauge.source_mesh_grid_coefficient line 632
  29. lemma OAI.SLEExactGauge.source_mesh_grid_radius_le line 636
  30. lemma OAI.SLEExactGauge.source_mesh_initial_scale line 640
  31. lemma OAI.SLEExactGauge.source_mesh_ball_volume line 645
  32. structure OAI.SLEExactGauge.SourceMeshParameters line 657
  33. lemma OAI.SLEExactGauge.source_mesh_parameters line 690
  34. lemma OAI.SLEExactGauge.source_mesh_choose_delta line 702
  35. lemma OAI.SLEExactGauge.source_mesh_grid_step line 726