OAI/Probability/SLE/Loewner/InverseDirichletEnergy.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Finite local Dirichlet energy for the inverse Loewner chart follows from injectivity, the area formula and hydrodynamic boundedness.

  1. lemma OAI.SLEExactGauge.IsCapacityTwoWitness.inverse_local_dirichlet_finite line 14