OAI/Probability/SLE/Gauge/GaugeCrosscutDischarge.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The exact explicit-gauge theorem using relative crosscut straightening.

  1. theorem OAI.SLEExactGauge.ordinary_explicit_mainConclusion_of_support line 13