OAI/Probability/SLE/Loewner/SlitCapacityQuotient.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Dividing by the positive, exact capacity gives the first-order Loewner kernel with a radius-controlled error.

  1. theorem OAI.SLEExactGauge.SimpleSlitChart.forward_quotient_kernel line 13