OAI/Probability/SLE/Loewner/ForwardCapacityError.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The capacity coefficient is obtained directly from the forward ODE, with an error tending to zero as the initial point tends to infinity.

  1. theorem OAI.SLEExactGauge.forward_far_capacity_error line 13