OAI/Probability/SLEGauge/StoppedWeights.lean

GitHub source file

35 declarations, 0 contain sorry, 0 declared as axioms

Hausdorff gauges, Loewner evolution and trace measures.

  1. lemma OAI.ExactSLEGreen.regionStop_weight_eq line 21
  2. lemma OAI.ExactSLEGreen.actual_sine_lower line 31
  3. structure OAI.ExactSLEGreen.RadialLocalization line 61
  4. lemma OAI.ExactSLEGreen.exists_radialLocalization line 71
  5. def OAI.ExactSLEGreen.radialLocalization line 98
  6. def OAI.ExactSLEGreen.angleThreshold line 103
  7. lemma OAI.ExactSLEGreen.angleThreshold_pos line 105
  8. lemma OAI.ExactSLEGreen.angleThreshold_initial line 109
  9. lemma OAI.ExactSLEGreen.angleThreshold_tendsto line 115
  10. def OAI.ExactSLEGreen.radialApproximation line 120
  11. lemma OAI.ExactSLEGreen.radialApproximation_mean line 127
  12. lemma OAI.ExactSLEGreen.radialApproximation_bound line 137
  13. lemma OAI.ExactSLEGreen.physicalGreen_angle_bound line 152
  14. lemma OAI.ExactSLEGreen.radialApproximation_tendsto line 167
  15. theorem OAI.ExactSLEGreen.radialWeight_mean line 220
  16. lemma OAI.ExactSLEGreen.radialTime_attained line 261
  17. def OAI.ExactSLEMain.diskMap line 298
  18. def OAI.ExactSLEMain.fromDisk line 300
  19. lemma OAI.ExactSLEMain.fromDisk_zero line 303
  20. lemma OAI.ExactSLEMain.fromDisk_zero_im line 304
  21. lemma OAI.ExactSLEMain.fromDisk_zero_norm line 306
  22. lemma OAI.ExactSLEMain.disk_endpoints_difference line 309
  23. lemma OAI.ExactSLEMain.disk_endpoints_ne line 315
  24. lemma OAI.ExactSLEMain.disk_deriv_at_zero line 319
  25. lemma OAI.ExactSLEMain.disk_deriv_norm line 332
  26. def OAI.ExactSLEMain.centeredZ line 339
  27. def OAI.ExactSLEMain.sineAngle line 341
  28. def OAI.ExactSLEMain.diskRadius line 343
  29. def OAI.ExactSLEMain.green line 346
  30. def OAI.ExactSLEMain.levelTime line 352
  31. def OAI.ExactSLEMain.tiltWeight line 355
  32. lemma OAI.ExactSLEMain.diskRadius_actualState line 365
  33. lemma OAI.ExactSLEMain.levelTime_radialTime line 377
  34. lemma OAI.ExactSLEMain.radial_initial_green line 393
  35. lemma OAI.ExactSLEMain.tiltWeight_radialWeight line 401