OAI/Probability/SLE/Loewner/SlitBoundaryIntegralLimit.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

The uniformly separated boundary coordinates admit passage through the exact interior Loewner integral.

  1. lemma OAI.SLEExactGauge.slitReflectedFlow_real_kernel_continuous line 13
  2. lemma OAI.SLEExactGauge.slitReflectedFlow_near_real_mem line 23
  3. lemma OAI.SLEExactGauge.slitReflectedFlow_near_real_kernel_bound line 36
  4. theorem OAI.SLEExactGauge.slitReflectedFlow_integral_tendsto line 60
  5. theorem OAI.SLEExactGauge.slitReflectedFlow_boundary_integral line 84