OAI/Probability/SLE/Gauge/GaugeBoundaryDischarge.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The exact explicit-gauge theorem using continuous finite boundary extensions.

  1. theorem OAI.SLEExactGauge.ordinary_explicit_mainConclusion_of_support_crosscut_exit line 13