OAI/Probability/SLE/Loewner/CapacityDriverContinuity.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Continuity of the driver and Loewner kernel in the exact capacity clock.

  1. theorem OAI.SLEExactGauge.capacityDriverOnPrefix_continuous line 12
  2. theorem OAI.SLEExactGauge.capacityLoewnerKernel_continuous line 28