OAI/Probability/SLE/Loewner/SlitChartRangeUniqueness.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Normalized charts depend only on the slit range, including when its parameter has been changed.

  1. lemma OAI.SLEExactGauge.SimpleSlitChart.eq_of_range_eq line 13