OAI/Probability/SLE/Gauge/GaugeExitDischarge.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The exact explicit-gauge theorem using conformal Brownian exit laws.

  1. theorem OAI.SLEExactGauge.ordinary_explicit_mainConclusion_of_support_crosscut line 13