OAI/Probability/SLE/InteriorEntrance.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

Interior Entrance for chordal SLE.

  1. lemma OAI.SLEExactGauge.brownian_maximal_tail_regular line 15
  2. theorem OAI.SLEExactGauge.brownian_maximal_tail line 55
  3. theorem OAI.SLEExactGauge.ordinary_trace_excursion_tail line 78
  4. def OAI.SLEExactGauge.PreSwallowExcursion line 134
  5. theorem OAI.SLEExactGauge.ordinary_pre_swallow_excursion line 139
  6. theorem OAI.SLEExactGauge.ordinary_survival_constants line 217
  7. theorem OAI.SLEExactGauge.ordinary_pre_swallow_constants line 244
  8. lemma OAI.SLEExactGauge.mapped_live_exit_split line 316
  9. def OAI.SLEExactGauge.SourceChartedDiskRuleTarget line 334
  10. theorem OAI.SLEExactGauge.sourceChartedDiskRule line 353