OAI/Probability/SLE/Loewner/InitialInverseEnergyIntegral.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Real, integrable versions of the common inverse Dirichlet bound.

  1. lemma OAI.SLEExactGauge.initialInverse_energy_integrable line 12
  2. lemma OAI.SLEExactGauge.initialInverse_energy_integral_le line 25