OAI/Probability/SLE/Loewner/SlitPhysicalClock.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

The exact capacity-two parametrization of a finite prescribed slit.

  1. def OAI.SLEExactGauge.slitCapacityHorizon line 13
  2. def OAI.SLEExactGauge.slitCapacityTime line 18
  3. lemma OAI.SLEExactGauge.slitCapacityTime_continuous line 23
  4. lemma OAI.SLEExactGauge.slitCapacityTime_zero line 29
  5. lemma OAI.SLEExactGauge.slitCapacityTime_le line 36
  6. lemma OAI.SLEExactGauge.slitCapacityTime_capacity line 41
  7. lemma OAI.SLEExactGauge.slitCapacityTime_at_capacity line 51
  8. lemma OAI.SLEExactGauge.slitCapacityTime_image line 62
  9. def OAI.SLEExactGauge.slitCapacityDriver line 84