OAI/Probability/SLE/Geometry/ExteriorCapacityRemainder.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Capacity-relative remainder for a hydrodynamically normalized reflected slit contained in a small disk.

  1. theorem OAI.SLEExactGauge.exterior_capacity_remainder line 14