OAI/Probability/SLE/Gauge/GaugeGrowthDischarge.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

The prescribed gauge, multipoint estimate, and canonical mass construction for ordinary chordal SLE.

  1. theorem OAI.SLEExactGauge.ordinary_prescribed_mainConclusion line 16
  2. theorem OAI.SLEExactGauge.RegularSLEPresentation.physical_multipoint line 25
  3. theorem OAI.SLEExactGauge.RegularSLEPresentation.canonical_mass line 42