OAI/Probability/SLEGauge/RadialRestartRaw.lean

GitHub source file

28 declarations, 0 contain sorry, 0 declared as axioms

Hausdorff gauges, Loewner evolution and trace measures.

  1. lemma OAI.SLEExactGauge.LoewnerRestart.radialState_raw_measurable line 19
  2. def OAI.SLEExactGauge.LoewnerRestart.radialPoint line 47
  3. lemma OAI.SLEExactGauge.LoewnerRestart.radialPoint_raw_measurable line 51
  4. lemma OAI.SLEExactGauge.LoewnerRestart.radialPoint_eq line 61
  5. def OAI.SLEExactGauge.LoewnerRestart.radiusDensity line 72
  6. lemma OAI.SLEExactGauge.LoewnerRestart.radiusDensity_raw_measurable line 75
  7. lemma OAI.SLEExactGauge.LoewnerRestart.radiusDensity_measurable line 91
  8. lemma OAI.SLEExactGauge.LoewnerRestart.joint_radiusDensity_measurable line 96
  9. lemma OAI.SLEExactGauge.LoewnerRestart.radiusDensity_eq_zero line 104
  10. lemma OAI.SLEExactGauge.LoewnerRestart.radiusDensity_restart line 108
  11. lemma OAI.SLEExactGauge.LoewnerRestart.finiteAngle_restart line 127
  12. lemma OAI.SLEExactGauge.LoewnerRestart.setLIntegral_eq_inter_of_zero line 166
  13. lemma OAI.SLEExactGauge.LoewnerRestart.radial_hit_ae line 179
  14. theorem OAI.SLEExactGauge.LoewnerRestart.radialLaw_restart line 188
  15. theorem OAI.SLEExactGauge.LoewnerRestart.finiteAngle_conditional line 268
  16. lemma OAI.SLEExactGauge.Jacobi.sin_physicalTheta line 305
  17. lemma OAI.SLEExactGauge.Jacobi.radialWeight_inverse_sine line 323
  18. lemma OAI.SLEExactGauge.Jacobi.inverse_radial_density line 340
  19. theorem OAI.SLEExactGauge.Jacobi.radial_change_law line 359
  20. lemma OAI.SLEExactGauge.Jacobi.radial_hit_probability_eq line 393
  21. lemma OAI.SLEExactGauge.Jacobi.physicalGreen_initial_bound line 407
  22. theorem OAI.SLEExactGauge.Jacobi.radial_hit_probability_long line 415
  23. def OAI.SLEExactGauge.Jacobi.visitConstant line 434
  24. lemma OAI.SLEExactGauge.Jacobi.visitConstant_lt_top line 438
  25. lemma OAI.SLEExactGauge.Jacobi.visitConstant_pos line 442
  26. lemma OAI.SLEExactGauge.Jacobi.levelRadius_ratio line 445
  27. theorem OAI.SLEExactGauge.Jacobi.radial_hit_probability line 452
  28. theorem OAI.SLEExactGauge.Jacobi.radial_hit_probability_radius line 474