OAI/Probability/SLELocalization/FilledObstacle.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Conformal localization and Filled Obstacle estimates.

  1. lemma OAI.SLEExactGauge.nearest_segment_subset_filling line 15
  2. lemma OAI.SLEExactGauge.past_obstacle_subset_filled line 41
  3. lemma OAI.SLEExactGauge.past_filled_component_closed line 48
  4. lemma OAI.SLEExactGauge.locallyConnected_of_component_balls line 62
  5. lemma OAI.SLEExactGauge.locallyConnected_filling line 81
  6. theorem OAI.SLEExactGauge.past_filled_locallyConnected line 137