OAI/Probability/SLELocalization/PastObstacle.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Conformal localization and Past Obstacle estimates.

  1. lemma OAI.SLEExactGauge.locallyConnected_sum line 14
  2. lemma OAI.SLEExactGauge.locallyConnected_closed_union line 33
  3. lemma OAI.SLEExactGauge.lower_halfPlane_locallyConnected line 67
  4. theorem OAI.SLEExactGauge.past_trace_continuum line 106
  5. theorem OAI.SLEExactGauge.past_obstacle_locallyConnected line 123