OAI/Probability/SLE/Loewner/InverseBoundaryArc.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Endpoint values of continuously extended inverse-chart arcs lie on the physical frontier, independently of a global boundary extension.

  1. lemma OAI.SLEExactGauge.inverse_limit_mem_frontier_filter line 14
  2. lemma OAI.SLEExactGauge.inverse_arc_endpoint_mem_frontier line 30