OAI/Probability/SLE/Loewner/InitialCapacityContinuity.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Continuity of the full capacity parameter. The capacity of the initial slit and its complementary capacity relative to the final slit give the two inequalities for every subsequential limit.

  1. lemma OAI.SLEExactGauge.initialCapacity_limit_value_at line 16
  2. theorem OAI.SLEExactGauge.initialCapacity_continuousAt line 56
  3. theorem OAI.SLEExactGauge.initialCapacity_continuous line 79