OAI/Probability/SLE/Loewner/CapacityParameterContinuity.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Continuity and exact values of the real, clipped capacity clock.

  1. def OAI.SLEExactGauge.capacityParameterOnPrefix line 12
  2. lemma OAI.SLEExactGauge.prefixCapacityTime_continuous line 18
  3. lemma OAI.SLEExactGauge.capacityParameterOnPrefix_continuous line 25
  4. lemma OAI.SLEExactGauge.capacityParameterOnPrefix_capacity line 31
  5. lemma OAI.SLEExactGauge.capacityParameterOnPrefix_at_initialCapacity line 37
  6. lemma OAI.SLEExactGauge.capacityParameterOnPrefix_mem_Ioc line 45