OAI/Probability/SLE/Loewner/SlitChartUniqueness.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The normalized static slit chart and its capacity do not depend on a choice.

  1. lemma OAI.SLEExactGauge.SimpleSlitChart.unique_on_domain line 12