OAI/Probability/SLE/Gauge/GaugeTraceDischarge.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Exact gauge theorems using canonical trace generation and explicit conformal hypotheses.

  1. theorem OAI.SLEExactGauge.RegularSLEPresentation.canonical_driver_trace_generation line 18
  2. theorem OAI.SLEExactGauge.ordinary_prescribed_mainConclusion_of_univalent_growth line 28
  3. theorem OAI.SLEExactGauge.ordinary_explicit_mainConclusion_of_conformal_inputs line 38