OAI/Probability/SLE/Geometry/ThinCrossingEnergy.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A thin mapped crossing with a small physical image forces large Dirichlet energy whenever the inverse is separated at a fixed height.

  1. theorem OAI.SLEExactGauge.initialInverse_thin_crossing_bound line 14